Module Field.Checked

val mul : Var.t -> Var.t -> Var.t Checked.t
val square : Var.t -> Var.t Checked.t
val div : Var.t -> Var.t -> Var.t Checked.t
val inv : Var.t -> Var.t Checked.t
val is_square : Var.t -> Boolean.var Checked.t
val sqrt : Var.t -> Var.t Checked.t
val sqrt_check : Var.t -> (Var.t * Boolean.var) Checked.t
val equal : Var.t -> Var.t -> Boolean.var Checked.t
val unpack : Var.t -> length:int -> Boolean.var list Checked.t
val unpack_flagged : Var.t -> length:int -> (Boolean.var list * [ `Success of Boolean.var ]) Checked.t
val parity : ?length:int -> Var.t -> Boolean.var Checked.t
val choose_preimage_var : Var.t -> length:int -> Boolean.var list Checked.t
type comparison_result = Fq2.Impl.Field.Checked.comparison_result = {
less : Boolean.var;
less_or_equal : Boolean.var;
}
val compare : bit_length:int -> Var.t -> Var.t -> comparison_result Checked.t
val if_ : Boolean.var -> then_:Var.t -> else_:Var.t -> Var.t Checked.t
val (+) : Var.t -> Var.t -> Var.t
val (-) : Var.t -> Var.t -> Var.t
val (*) : field -> Var.t -> Var.t
module Unsafe : sig ... end
module Assert : sig ... end