Checked (mina_numbers.Mina_numbers.Hd

type var

val constant : t -> var

type t = var

val zero : t

val succ : t -> t Snark_params.Tick.Checked.t

val add : t -> t -> t Snark_params.Tick.Checked.t

val mul : t -> t -> t Snark_params.Tick.Checked.t

val sub_or_zero : 
  t ->
  t ->
  ([ `Underflow of Snark_params.Tick.Boolean.var ] * t)
    Snark_params.Tick.Checked.t

sub_or_zero x y computes x - y.

If the argument to `Underflow is true, x < y and the returned integer value is pinned to zero.
If the argument to `Underflow is false, x >= y and the returned integer value is equal to x - y

val sub : t -> t -> t Snark_params.Tick.Checked.t

sub ~m x y computes x - y and ensures that 0 <= x - y

val is_succ : 
  pred:t ->
  succ:t ->
  Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val min : t -> t -> t Snark_params.Tick.Checked.t

val to_input : t -> Snark_params.Tick.Field.Var.t Random_oracle.Input.Chunked.t

val to_input_legacy : 
  t ->
  ( _, Snark_params.Tick.Boolean.var ) Random_oracle.Legacy.Input.t
    Snark_params.Tick.Checked.t

val succ_if : 
  t ->
  Snark_params.Tick.Boolean.var ->
  t Snark_params.Tick.Checked.t

val if_ : 
  Snark_params.Tick.Boolean.var ->
  then_:t ->
  else_:t ->
  t Snark_params.Tick.Checked.t

val typ : ( t, t ) Snark_params.Tick.Typ.t

warning: this typ does not work correctly with the generic if_

val equal : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val div_mod : t -> t -> (t * t) Snark_params.Tick.Checked.t

val (=) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val (<) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val (>) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val (<=) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

val (>=) : t -> t -> Snark_params.Tick.Boolean.var Snark_params.Tick.Checked.t

module Assert : sig ... end

val to_field : t -> Snark_params.Tick.Field.Var.t

module Unsafe : sig ... end