Module Base__Map.Finished_or_unfinished
val of_continue_or_stop : Base__.Map_intf.Continue_or_stop.t -> t
Maps
Continue
toFinished
andStop
toUnfinished
.
val to_continue_or_stop : t -> Base__.Map_intf.Continue_or_stop.t
Maps
Finished
toContinue
andUnfinished
toStop
.