include Funarith.Linear_expr_intf.VAR
type t
Variable type.
val compare : t ‑> t ‑> int
Standard comparison function on variables.
val pp : t CCFormat.printer
Printer for variables.
module Fresh : Funarith.Linear_expr_intf.FRESH with type var := t
Generate fresh variables on demand