Module Exploration.InstructionsSource

Sourceval get : unit -> int
Sourceval incr : int -> unit