Module Exploration.PathsSource

Sourcetype t =
  1. | Total
  2. | Pending
  3. | Completed
  4. | Discontinued
Sourceval get : t -> int
Sourceval status : status -> int
Sourceval incr : unit -> unit
Sourceval resume : unit -> unit
Sourceval signal : status -> unit