Module Container_intf.Export
module Continue_or_stop : sig ... endContinue_or_stop.tis used by thefargument tofold_untilin order to indicate whether folding should continue, or stop early.
Container_intf.Exportmodule Continue_or_stop : sig ... endContinue_or_stop.t is used by the f argument to fold_until in order to indicate whether folding should continue, or stop early.