Module Smyth.Fresh

val unused : Lang.hole_name

The canonical unused hole name.

val set_largest_hole : Lang.hole_name -> unit

set_largest_hole h sets the current laregest hole to be h; all new holes generated after calling set_largest_hole h will have hole name greater than h.

val gen_hole : unit -> Lang.hole_name

Generates a fresh (unique) hole name.