N (consensus.Consensus.Constants.N)

type var

val constant : Unsigned_extended.UInt64.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

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

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 ->
  ( 'a, 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, Unsigned_extended.UInt64.t ) Snark_params.Tick.Typ.t

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