Arrow_apply.For
module A : Preface_specs.ARROW_APPLY
val arrow_apply_1 : unit -> (unit, ('a * 'b, 'a * 'b) A.t) Law.t
val arrow_apply_2 : unit -> (('a, 'b) A.t, (('b, 'c) A.t * 'a, 'c) A.t) Law.t
val arrow_apply_3 : unit -> (('a, 'b) A.t, (('c, 'a) A.t * 'c, 'b) A.t) Law.t