sig
type t
val pathDec : Exp.Id.t
val pathInc : Exp.Id.t
val tid : Exp.Id.t
val mytid : Exp.Id.t
val result : Exp.Id.t
val junk : Exp.Id.t
val create : string -> Exp.Id.t
val tempid : unit -> Exp.Id.t
val gensym_str : string -> Exp.Id.t
val gensym_str_ex : string -> Exp.Id.t
val gensym_norm : Exp.Id.t -> Exp.Id.t
val gensym_garb : Exp.Id.t -> Exp.Id.t
val of_exp : Exp.exp -> Exp.Id.t
val compare : Exp.Id.t -> Exp.Id.t -> int
val level : int -> Exp.Id.t
val isLevel : Exp.Id.t -> int -> bool
val is_existential : Exp.Id.t -> bool
val is_no_junk_var : Exp.Id.t -> bool
val to_string : Exp.Id.t -> string
end