Linear_exprs.Var
include Stdlib.Set.OrderedType
type t
val compare : t -> t -> int
val pp : t Pretty.printer