Module Apply'.Apply_A
module I : sig ... endval apply_first : 'a A.t -> 'b A.t -> 'a A.tval apply_second : 'a A.t -> 'b A.t -> 'b A.tval apply_both : 'a A.t -> 'b A.t -> ('a * 'b) A.tval lift2 : ('a -> 'b -> 'c) -> 'a A.t -> 'b A.t -> 'c A.tval lift3 : ('a -> 'b -> 'c -> 'd) -> 'a A.t -> 'b A.t -> 'c A.t -> 'd A.tval lift4 : ('a -> 'b -> 'c -> 'd -> 'e) -> 'a A.t -> 'b A.t -> 'c A.t -> 'd A.t -> 'e A.tval lift5 : ('a -> 'b -> 'c -> 'd -> 'e -> 'f) -> 'a A.t -> 'b A.t -> 'c A.t -> 'd A.t -> 'e A.t -> 'f A.t
module Infix : sig ... end