Module Base__.Container_intf
module Export : sig ... endinclude Export
module Continue_or_stop = Export.Continue_or_stopContinue_or_stop.tis used by thefargument tofold_untilin order to indicate whether folding should continue, or stop early.
module type Summable = sig ... endmodule type S0 = sig ... endSignature for monomorphic container, e.g., string.
module type S0_phantom = sig ... endmodule type S1 = sig ... endSignature for polymorphic container, e.g.,
'a listor'a array.
module type S1_phantom_invariant = sig ... endmodule type S1_phantom = sig ... endmodule type Generic = sig ... endmodule type Generic_phantom = sig ... endmodule type Make_gen_arg = sig ... endmodule type Make_arg = Make_gen_arg with type 'a elt := 'a Base.Monad.Ident.tmodule type Make0_arg = sig ... endmodule type Container = sig ... end