jon.recoil.org

Module Map.Finished_or_unfinishedSource

Sourcetype t = Base.Map.Finished_or_unfinished.t =
  1. | Finished
  2. | Unfinished

Maps Continue to Finished and Stop to Unfinished.

Maps Finished to Continue and Unfinished to Stop.