Make (snarky.Snarky_backendless.Cvar.Make)

Parameters

module Field : Snarky_intf.Field.Extended

type t = Field.t cvar

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

val length : 'a -> 'b

module Unsafe = Unsafe

val scratch : Field.t

val eval : 
  [< `Return_values_will_be_mutated of int -> Field.t ] ->
  Field.t t ->
  Field.t

val constant : 'a -> 'b t

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

val add : Field.t t -> Field.t t -> Field.t t

val scale : Field.t t -> Field.t -> Field.t t

val neg_one : Field.t

val sub : Field.t t -> Field.t t -> Field.t t

val linear_combination : (Field.t * t) list -> t

val sum : t list -> t

val (+) : Field.t t -> Field.t t -> Field.t t

val (-) : Field.t t -> Field.t t -> Field.t t

val (*) : Field.t -> Field.t t -> Field.t t

val negate : Field.t t -> Field.t t

val to_json : 
  Field.t t ->
  [> `Assoc of (string * [> `String of string ]) list ]