Module Permutation.Field

module Constant : sig ... end
val length : t -> int
val var_indices : t -> int list
val to_constant_and_terms : t -> Impl.field option * (Impl.field * int) list
val constant : Impl.field -> t
val to_constant : t -> Impl.field option
val linear_combination : (Impl.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 -> Impl.field -> t
val project : Impl.Boolean.var list -> t
val pack : Impl.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 -> Impl.Boolean.var
val sqrt : t -> t
val sqrt_check : t -> t * Impl.Boolean.var
val equal : t -> t -> Impl.Boolean.var
val unpack : t -> length:int -> Impl.Boolean.var list
val unpack_flagged : t -> length:int -> Impl.Boolean.var list * [ `Success of Impl.Boolean.var ]
val parity : ?length:int -> t -> Impl.Boolean.var
val choose_preimage_var : t -> length:int -> Impl.Boolean.var list
type comparison_result = Impl.Field.comparison_result = {
less : Impl.Boolean.var;
less_or_equal : Impl.Boolean.var;
}
val compare : bit_length:int -> t -> t -> comparison_result
val if_ : Impl.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 ) Impl.Typ.t