Module Domain_sig.Fresh_id

type t = private int
val fresh : string -> t