Checked (snark_params.Snark_params.Make_inner_curve

val mul : Var.t -> Var.t -> Var.t Other_impl.Checked.t

val square : Var.t -> Var.t Other_impl.Checked.t

val div : Var.t -> Var.t -> Var.t Other_impl.Checked.t

val inv : Var.t -> Var.t Other_impl.Checked.t

val is_square : Var.t -> Other_impl.Boolean.var Other_impl.Checked.t

val sqrt : Var.t -> Var.t Other_impl.Checked.t

val sqrt_check : Var.t -> (Var.t * Other_impl.Boolean.var) Other_impl.Checked.t

val equal : Var.t -> Var.t -> Other_impl.Boolean.var Other_impl.Checked.t

val unpack : 
  Var.t ->
  length:int ->
  Other_impl.Boolean.var list Other_impl.Checked.t

val unpack_flagged : 
  Var.t ->
  length:int ->
  (Other_impl.Boolean.var list * [ `Success of Other_impl.Boolean.var ])
    Other_impl.Checked.t

val unpack_full : 
  Var.t ->
  Other_impl.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t
    Other_impl.Checked.t

val parity : 
  ?length:int ->
  Var.t ->
  Other_impl.Boolean.var Other_impl.Checked.t

val choose_preimage_var : 
  Var.t ->
  length:int ->
  Other_impl.Boolean.var list Other_impl.Checked.t

type comparison_result = Other_impl.Field.Checked.comparison_result = {

less : Other_impl.Boolean.var;

less_or_equal : Other_impl.Boolean.var;

}

val compare : 
  bit_length:int ->
  Var.t ->
  Var.t ->
  comparison_result Other_impl.Checked.t

val if_ : 
  Other_impl.Boolean.var ->
  then_:Var.t ->
  else_:Var.t ->
  Var.t Other_impl.Checked.t

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

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

val (*) : Other_impl.field -> Var.t -> Var.t

module Unsafe : sig ... end

module Assert : sig ... end