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