Cvar (snarky.Snarky_backendless.Cvar)

type 'f t =

| Constant of 'f

| Var of int

| Add of 'f t * 'f t

| Scale of 'f * 'f t

val t_of_sexp : 
  'f. ( Ppx_sexp_conv_lib.Sexp.t -> 'f ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  'f t

val sexp_of_t : 
  'f. ( 'f -> Ppx_sexp_conv_lib.Sexp.t ) ->
  'f t ->
  Ppx_sexp_conv_lib.Sexp.t

type 'f cvar = 'f t

val cvar_of_sexp : 
  'f. ( Ppx_sexp_conv_lib.Sexp.t -> 'f ) ->
  Ppx_sexp_conv_lib.Sexp.t ->
  'f cvar

val sexp_of_cvar : 
  'f. ( 'f -> Ppx_sexp_conv_lib.Sexp.t ) ->
  'f cvar ->
  Ppx_sexp_conv_lib.Sexp.t

val to_constant_and_terms : 
  equal:( 'a -> 'b -> bool ) ->
  add:( 'c -> 'd -> 'e ) ->
  mul:( 'f -> 'g -> 'h ) ->
  zero:'i ->
  one:'j ->
  'k t ->
  'l option * ('m * int) list

module Unsafe : sig ... end

module Make (Field : Snarky_intf.Field.Extended) : sig ... end