module Continue_or_stop : sig ... end
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 Finished_or_stopped_early : sig ... end
Finished_or_stopped_early.t
is returned by fold_until
to indicate whether
f
requested the fold stop, or if the fold completed.