Checked (snark_params.Snark_params.Tock.Inner

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

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

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

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

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

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

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

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

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

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

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

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

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

type comparison_result = Tick0.Field.Checked.comparison_result = {

less : Tick0.Boolean.var;

less_or_equal : Tick0.Boolean.var;

}

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

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

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

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

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

module Unsafe : sig ... end

module Assert : sig ... end