Functions.Apply'
A : Interface.APPLY
T : Interface.TYPE
module F : sig ... end
module F' : sig ... end
module Apply_F : sig ... end
module Apply_A : sig ... end
val apply_const : (T.t A.t -> 'a A.t) -> T.t A.t -> T.t A.t
val apply_first : (T.t -> 'a A.t) -> (T.t -> 'b A.t) -> T.t -> 'a A.t
val apply_second : (T.t -> 'a A.t) -> (T.t -> 'b A.t) -> T.t -> 'b A.t
val apply_both : (T.t -> 'a A.t) -> (T.t -> 'b A.t) -> T.t -> ('a * 'b) A.t