For (preface.Preface_laws.Arrow.For)

Parameters

module A : Preface_specs.ARROW

val arrow_1 : unit -> (unit, ('a, 'a) A.t) Law.t

val arrow_2 : unit -> ('a -> 'b, ('b -> 'c) -> ('a, 'c) A.t) Law.t

val arrow_3 : unit -> ('a -> 'b, ('a * 'c, 'b * 'c) A.t) Law.t

val arrow_4 : 
  unit ->
  (('a, 'b) A.t, ('b, 'c) A.t -> ('a * 'd, 'c * 'd) A.t) Law.t

val arrow_5 : unit -> (('a, 'b) A.t, ('a * 'c, 'b) A.t) Law.t

val arrow_6 : 
  unit ->
  (('a, 'b) A.t, ('c -> 'd) -> ('a * 'c, 'b * 'd) A.t) Law.t

val arrow_7 : 
  unit ->
  (('a, 'b) A.t, (('a * 'c) * 'd, 'b * ('c * 'd)) A.t) Law.t