Module T.Var

val length : t -> int
val var_indices : t -> int list
val to_constant_and_terms : t -> Tock0.field option * (Tock0.field * int) list
val constant : Tock0.field -> t
val to_constant : t -> Tock0.field option
val linear_combination : (Tock0.field * t) list -> t
val sum : t list -> t
val add : t -> t -> t
val negate : t -> t
val sub : t -> t -> t
val scale : t -> Tock0.field -> t
val project : Tock0.Boolean.var list -> t
val pack : Tock0.Boolean.var list -> t