Module Applicative_without_return

module type Basic = sig ... end
module type Basic2 = sig ... end
module type Basic3 = sig ... end
module type S_without_let_syntax = sig ... end
module type S2_without_let_syntax = sig ... end
module type S3_without_let_syntax = sig ... end
module type S = sig ... end
module type S2 = sig ... end
module type S3 = sig ... end
module Make (B : Basic) : S with type 'a t := 'a B.t
module Make2 (B : Basic2) : S2 with type ('a, 'e) t := ('a, 'e) B.t
module Make3 (B : Basic3) : S3 with type ('a, 'd, 'e) t := ('a, 'd, 'e) B.t