Module `Type.Var`

type t = var

val name : t -> string
val equal : t -> t -> bool
val hash : t -> int
val compare : t -> t -> int
val to_string : t -> string
val inject_string : t -> string
val inject_string_caml : t -> string
val print : t CCFormat.printer

module Map = Uid.Map

module Set = Uid.Set

module Tbl = Uid.Tbl