Module Map.Finished_or_unfinished
val of_continue_or_stop : Base__.Map_intf.Continue_or_stop.t -> tMaps
ContinuetoFinishedandStoptoUnfinished.
val to_continue_or_stop : t -> Base__.Map_intf.Continue_or_stop.tMaps
FinishedtoContinueandUnfinishedtoStop.