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