Module Base_inputs.Balance

include module type of struct include Balance end
include module type of struct include Currency.Balance end
module Stable = Balance.Stable
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
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
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 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 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 : Stable.Latest.t -> min:Stable.Latest.t -> max:Stable.Latest.t -> Stable.Latest.t Base__.Or_error.t
type comparator_witness = Balance.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 = Balance.Replace_polymorphic_compare
module Map = Balance.Map
module Set = Balance.Set
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_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 = Balance.var
val var_of_t : Stable.Latest.t -> var
val to_amount : t -> Currency.Amount.t
val add_amount : t -> Currency.Amount.t -> t option
val add_amount_flagged : t -> Currency.Amount.t -> t * [ `Overflow of bool ]
val sub_amount : t -> Currency.Amount.t -> t option
val sub_amount_flagged : t -> Currency.Amount.t -> t * [ `Underflow of bool ]
val add_signed_amount_flagged : t -> Currency.Amount.Signed.t -> t * [ `Overflow of bool ]
val (+) : t -> Currency.Amount.t -> t option
val (-) : t -> Currency.Amount.t -> t option
module Checked = Balance.Checked
val of_int : int -> Stable.Latest.t
val to_int : Stable.Latest.t -> int