Checked (snark_params.Snark_params.Tick.Inner

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

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

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

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

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

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

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

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

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

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

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

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

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

type comparison_result = Tock0.Field.Checked.comparison_result = {

less : Tock0.Boolean.var;

less_or_equal : Tock0.Boolean.var;

}

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

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

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

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

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

module Unsafe : sig ... end

module Assert : sig ... end