val print : Stdlib.Format.formatter -> t -> unit
val equal : t -> t -> bool
val to_string : ?origin:t -> t -> string
val fresh_n : string -> t
val compare : t -> t -> int
val get_name : t -> string option
val name : t -> string -> unit
val propagate_name : t -> t -> unit
val set_pretty : bool -> unit
val set_stable : bool -> unit
module Set : Stdlib.Set.S with type elt = t
module Map : Stdlib.Map.S with type key = t
module Hashtbl : Stdlib.Hashtbl.S with type key = t
module ISet : sig ... end