Map.Finished_or_unfinished
val all : t list
val of_continue_or_stop : Continue_or_stop.t -> t
Maps Continue
to Finished
and Stop
to Unfinished
.
val to_continue_or_stop : t -> Continue_or_stop.t
Maps Finished
to Continue
and Unfinished
to Stop
.