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 beh
; all new holes generated after callingset_largest_hole h
will have hole name greater thanh
.
val gen_hole : unit -> Lang.hole_name
Generates a fresh (unique) hole name.