Module Map.Finished_or_unfinished
type t= Base__.Map_intf.Finished_or_unfinished.t=|Finished|Unfinished
val of_continue_or_stop : Continue_or_stop.t -> tMaps
ContinuetoFinishedandStoptoUnfinished.
val to_continue_or_stop : t -> Continue_or_stop.tMaps
FinishedtoContinueandUnfinishedtoStop.