Amount (currency.Currency.Amount)

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 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

val equal : t -> t -> bool

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

type magnitude = Stable.Latest.t

val sexp_of_magnitude : magnitude -> Ppx_sexp_conv_lib.Sexp.t

val magnitude_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> magnitude

val compare_magnitude : magnitude -> magnitude -> int

val dhall_type : Ppx_dhall_type.Dhall_type.t

val max_int : Stable.Latest.t

val length_in_bits : int

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 compare : Stable.Latest.t -> Stable.Latest.t -> int

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

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

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

include Snark_bits.Bits_intf.Convertible_bits with type t := Stable.Latest.t

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

include Snark_bits.Bits_intf.Basic with type t := Stable.Latest.t

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

val size_in_bits : int

val iter : Stable.Latest.t -> f:( bool -> unit ) -> unit

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 zero : Stable.Latest.t

val one : Stable.Latest.t

val of_string : string -> Stable.Latest.t

val to_string : Stable.Latest.t -> string

val of_mina_string_exn : string -> Stable.Latest.t

val to_mina_string : Stable.Latest.t -> string

val to_uint64 : Stable.Latest.t -> Unsigned.uint64

val of_uint64 : Unsigned.uint64 -> Stable.Latest.t

val of_mina_int_exn : int -> Stable.Latest.t

val of_nanomina_int_exn : int -> Stable.Latest.t

val of_mina_int : int -> Stable.Latest.t option

val of_nanomina_int : int -> Stable.Latest.t option

val to_mina_int : Stable.Latest.t -> int

val to_nanomina_int : Stable.Latest.t -> int

type var

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

val var_of_t : Stable.Latest.t -> var

val var_to_bits : 
  var ->
  Snark_params.Tick.Boolean.var Bitstring_lib.Bitstring.Lsb_first.t
    Snark_params.Tick.Checked.t

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

val var_to_input_legacy : 
  var ->
  ( Snark_params.Tick.Field.Var.t, Snark_params.Tick.Boolean.var )
    Random_oracle.Input.Legacy.t
    Snark_params.Tick.Checked.t

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

val pack_var : var -> Snark_params.Tick.Field.Var.t

val add : t -> t -> t option

val add_flagged : t -> t -> t * [ `Overflow of bool ]

val sub : t -> t -> t option

val sub_flagged : t -> t -> t * [ `Underflow of bool ]

val (+) : t -> t -> t option

val (-) : t -> t -> t option

val scale : t -> int -> t option

include Codable.S with type t := t

val to_yojson : t -> Yojson.Safe.t

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

module Signed : sig ... end

val of_fee : Fee.t -> t

val to_fee : t -> Fee.t

val add_fee : t -> Fee.t -> t option

val add_signed_flagged : t -> Signed.t -> t * [ `Overflow of bool ]

module Checked : sig ... end