type t
Variable type.
val compare : t ‑> t ‑> int
Standard comparison function on variables.
val pp : t CCFormat.printer
Printer for variables.