Module Exploration.TopologySource

Sourcetype t =
  1. | Branch
  2. | Jump
  3. | Assert
Sourceval get : t -> int
Sourceval incr : t -> unit