Module S.Cvar

type t = Field.t Cvar.t
include Ppx_sexp_conv_lib.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val length : t -> int
module Unsafe : sig ... end
val eval : [ `Return_values_will_be_mutated of int -> Field.t ] -> t -> Field.t
val constant : Field.t -> t
val to_constant_and_terms : t -> Field.t option * (Field.t * int) list
val add : t -> t -> t
val negate : t -> t
val scale : t -> Field.t -> t
val sub : t -> t -> t
val linear_combination : (Field.t * t) list -> t
val sum : t list -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : Field.t -> t -> t
val var_indices : t -> int list
val to_constant : t -> Field.t option