Provides generic signatures for container data structures.
These signatures include functions (iter
, fold
, exists
, for_all
, ...) that
you would expect to find in any container. Used by including Container.S0
or
Container.S1
in the signature for every container-like data structure (Array
,
List
, String
, ...) to ensure a consistent interface.
module Export : sig ... end
include Export
module Continue_or_stop = Export.Continue_or_stop
Continue_or_stop.t
is used by the f
argument to fold_until
in order to
indicate whether folding should continue, or stop early.
module type S0_phantom : sig ... end
module type S1_phantom_invariant : sig ... end
module type S1_phantom : sig ... end
module type Generic : sig ... end
module type Generic_phantom : sig ... end
module type Make_gen_arg : sig ... end
module type Make_arg : Make_gen_arg with type a elt := a Base.Monad.Ident.t
module type Make0_arg : sig ... end
module type Container : sig ... end