Var (snark_params.Snark_params.Tick.Field.Var)

type t = Backend.Tick.Field.t Snarky_backendless.Cvar.t

val length : t -> int

val var_indices : t -> int list

val to_constant_and_terms : 
  t ->
  Backend.Tick.Field.t option * (Backend.Tick.Field.t * int) list

val constant : Backend.Tick.Field.t -> t

val to_constant : t -> Backend.Tick.Field.t option

val linear_combination : (Backend.Tick.Field.t * 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 -> Backend.Tick.Field.t -> t

val project : 
  Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t
    list ->
  t

val pack : 
  Backend.Tick.Field.t Snarky_backendless.Cvar.t Snarky_backendless.Boolean.t
    list ->
  t