Bonsai_private_base.Applicativemodule type S = sig ... endmodule type Let_syntax = sig ... endmodule type Basic_using_map2 = sig ... endmodule Make_using_map2 (X : Basic_using_map2) : S with type 'a t := 'a X.tmodule type Applicative_infix = sig ... end