UInt64 (mina_numbers.Mina_numbers.Nat.Intf.UInt64)

module Stable : sig ... end

type t = Stable.Latest.t

val to_yojson : t -> Yojson.Safe.t

val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or

include Ppx_sexp_conv_lib.Sexpable.S with type t := t

val t_of_sexp : Sexplib0__.Sexp.t -> t

val sexp_of_t : t -> Sexplib0__.Sexp.t

val equal : t -> t -> bool

val compare : t -> t -> int

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  t ->
  Ppx_hash_lib.Std.Hash.state

val hash : t -> Ppx_hash_lib.Std.Hash.hash_value

include S with type t := Stable.Latest.t

include S_unchecked with type t := Stable.Latest.t

val to_yojson : Stable.Latest.t -> Yojson.Safe.t

val of_yojson : 
  Yojson.Safe.t ->
  Stable.Latest.t Ppx_deriving_yojson_runtime.error_or

include Ppx_sexp_conv_lib.Sexpable.S with type t := Stable.Latest.t

val t_of_sexp : Sexplib0__.Sexp.t -> Stable.Latest.t

val sexp_of_t : Stable.Latest.t -> Sexplib0__.Sexp.t

val compare : Stable.Latest.t -> Stable.Latest.t -> int

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  Stable.Latest.t ->
  Ppx_hash_lib.Std.Hash.state

val hash : Stable.Latest.t -> Ppx_hash_lib.Std.Hash.hash_value

include Core_kernel.Comparable.S with type t := Stable.Latest.t

val (>=) : Stable.Latest.t -> Stable.Latest.t -> bool

val (<=) : Stable.Latest.t -> Stable.Latest.t -> bool

val (=) : Stable.Latest.t -> Stable.Latest.t -> bool

val (>) : Stable.Latest.t -> Stable.Latest.t -> bool

val (<) : Stable.Latest.t -> Stable.Latest.t -> bool

val (<>) : Stable.Latest.t -> Stable.Latest.t -> bool

val equal : Stable.Latest.t -> Stable.Latest.t -> bool

val min : Stable.Latest.t -> Stable.Latest.t -> Stable.Latest.t

val max : Stable.Latest.t -> Stable.Latest.t -> Stable.Latest.t

val ascending : Stable.Latest.t -> Stable.Latest.t -> int

val descending : Stable.Latest.t -> Stable.Latest.t -> int

val between : 
  Stable.Latest.t ->
  low:Stable.Latest.t ->
  high:Stable.Latest.t ->
  bool

val clamp_exn : 
  Stable.Latest.t ->
  min:Stable.Latest.t ->
  max:Stable.Latest.t ->
  Stable.Latest.t

val clamp : 
  Stable.Latest.t ->
  min:Stable.Latest.t ->
  max:Stable.Latest.t ->
  Stable.Latest.t Base__.Or_error.t

type comparator_witness

val comparator : 
  ( Stable.Latest.t, comparator_witness ) Base__Comparator.comparator

val validate_lbound : 
  min:Stable.Latest.t Base__.Maybe_bound.t ->
  Stable.Latest.t Base__.Validate.check

val validate_ubound : 
  max:Stable.Latest.t Base__.Maybe_bound.t ->
  Stable.Latest.t Base__.Validate.check

val validate_bound : 
  min:Stable.Latest.t Base__.Maybe_bound.t ->
  max:Stable.Latest.t Base__.Maybe_bound.t ->
  Stable.Latest.t Base__.Validate.check

module Replace_polymorphic_compare : sig ... end

module Map : sig ... end

module Set : sig ... end

include Core_kernel.Hashable.S with type t := Stable.Latest.t

val compare : Stable.Latest.t -> Stable.Latest.t -> Core_kernel__.Import.int

val hash_fold_t : 
  Ppx_hash_lib.Std.Hash.state ->
  Stable.Latest.t ->
  Ppx_hash_lib.Std.Hash.state

val hash : Stable.Latest.t -> Ppx_hash_lib.Std.Hash.hash_value

val hashable : Stable.Latest.t Core_kernel__.Hashtbl.Hashable.t

module Table : sig ... end

module Hash_set : sig ... end

module Hash_queue : sig ... end

val dhall_type : Ppx_dhall_type.Dhall_type.t

val max_value : Stable.Latest.t

val length_in_bits : int

val gen : Stable.Latest.t Core_kernel.Quickcheck.Generator.t

val gen_incl : 
  Stable.Latest.t ->
  Stable.Latest.t ->
  Stable.Latest.t Core_kernel.Quickcheck.Generator.t

val zero : Stable.Latest.t

val succ : Stable.Latest.t -> Stable.Latest.t

val add : Stable.Latest.t -> Stable.Latest.t -> Stable.Latest.t

val sub : Stable.Latest.t -> Stable.Latest.t -> Stable.Latest.t option

val of_int : int -> Stable.Latest.t

val to_int : Stable.Latest.t -> int

val random : unit -> Stable.Latest.t

val of_string : string -> Stable.Latest.t

val to_string : Stable.Latest.t -> string

module Bits : 
  Snark_bits.Bits_intf.Convertible_bits with type t := Stable.Latest.t

val to_bits : Stable.Latest.t -> bool list

val of_bits : bool list -> Stable.Latest.t

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

val to_input_legacy : 
  Stable.Latest.t ->
  ( _, bool ) Random_oracle.Legacy.Input.t

val fold : Stable.Latest.t -> bool Tuple_lib.Triple.t Fold_lib.Fold.t

module Checked : S_checked with type unchecked := Stable.Latest.t

val typ : ( Checked.t, Stable.Latest.t ) Snark_params.Tick.Typ.t

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

val to_uint64 : t -> Unsigned.uint64

val of_uint64 : Unsigned.uint64 -> t