Make (snarky_field_extensions.Snarky_field_extensions.Field

Parameters

module F : Intf.Basic

val typ : ( F.t, F.Unchecked.t ) F.Impl.Typ.t

val constant : F.Unchecked.t -> F.t

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

val assert_r1cs : F.t -> F.t -> F.t -> unit F.Impl.Checked.t

val equal : 
  F.Impl.Field.Var.t F.t_ ->
  F.Impl.Field.Var.t F.t_ ->
  F.Impl.Boolean.var F.Impl.Checked.t

val assert_equal : 
  F.Impl.Field.Var.t F.t_ ->
  F.Impl.Field.Var.t F.t_ ->
  unit F.Impl.Checked.t

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

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

val negate : F.t -> F.t

val zero : F.t

val one : F.t

val div_unsafe : F.t -> F.t -> F.t F.Impl.Checked.t

val assert_square : F.t -> F.t -> unit F.Impl.Checked.t

val (*) : F.t -> F.t -> F.t F.Impl.Checked.t

val square : F.t -> F.t F.Impl.Checked.t

val inv_exn : F.t -> F.t F.Impl.Checked.t