Module Impl.Field

module Constant : sig ... end
val length : t -> int
val var_indices : t -> int list
val to_constant_and_terms : t -> field option * (field * int) list
val constant : field -> t
val to_constant : t -> field option
val linear_combination : (field * 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 -> field -> t
val project : Boolean.var list -> t
val pack : Boolean.var list -> t
val mul : t -> t -> t
val square : t -> t
val div : t -> t -> t
val inv : t -> t
val is_square : t -> Boolean.var
val sqrt : t -> t
val sqrt_check : t -> t * Boolean.var
val equal : t -> t -> Boolean.var
val unpack : t -> length:int -> Boolean.var list
val unpack_flagged : t -> length:int -> Boolean.var list * [ `Success of Boolean.var ]
val parity : ?length:int -> t -> Boolean.var
val choose_preimage_var : t -> length:int -> Boolean.var list
type comparison_result = {
less : Boolean.var;
less_or_equal : Boolean.var;
}
val compare : bit_length:int -> t -> t -> comparison_result
val if_ : Boolean.var -> then_:t -> else_:t -> t
val (+) : t -> t -> t
val (-) : t -> t -> t
val (*) : t -> t -> t
module Unsafe : sig ... end
module Assert : sig ... end
val size_in_bits : int
val size : Snarky_backendless__Snark_intf.Bignum_bigint.t
val of_int : int -> t
val one : t
val zero : t
val (/) : t -> t -> t
val typ : ( t, Constant.t ) Typ.t