Map.Finished_or_unfinishedval all : t listval of_continue_or_stop : Continue_or_stop.t -> tMaps Continue to Finished and Stop to Unfinished.
val to_continue_or_stop : t -> Continue_or_stop.tMaps Finished to Continue and Unfinished to Stop.