Signatures.TEVAR
type t
A type of variables.
val equal : t -> t -> bool
val hash : t -> int
val to_string : t -> string
A conversion of variables to strings. This function is used for debugging purposes only.