Module Mina_base.Frozen_ledger_hash

include Ledger_hash_intf.S with type var = Frozen_ledger_hash0.var
include Ledger_hash_intf0.S with type var = Frozen_ledger_hash0.var
include Data_hash.Full_size with type var = Frozen_ledger_hash0.var
include Data_hash_lib.Data_hash_intf.Basic with type var = Frozen_ledger_hash0.var
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 to_decimal_string : t -> string
val of_decimal_string : string -> t
val to_bytes : t -> string
val gen : t Core_kernel.Quickcheck.Generator.t
val var_to_hash_packed : var -> Random_oracle.Checked.Digest.t
val assert_equal : var -> var -> unit Snark_params.Tick.Checked.t
val var_of_t : t -> var
include Snark_bits.Bits_intf.S with type t := t
include Snark_bits.Bits_intf.Basic with type t := t
val fold : t -> bool Fold_lib.Fold.t
val size_in_bits : int
val iter : t -> f:( bool -> unit ) -> unit
val to_bits : t -> bool list
val of_base58_check_exn : string -> t
include Core_kernel.Comparable.S with type t := t
val (>=) : t -> t -> bool
val (<=) : t -> t -> bool
val (=) : t -> t -> bool
val (>) : t -> t -> bool
val (<) : t -> t -> bool
val (<>) : t -> t -> bool
val equal : t -> t -> bool
val min : t -> t -> t
val max : t -> t -> t
val ascending : t -> t -> int
val descending : t -> t -> int
val between : t -> low:t -> high:t -> bool
val clamp_exn : t -> min:t -> max:t -> t
val clamp : t -> min:t -> max:t -> t Base__.Or_error.t
type comparator_witness
val comparator : ( t, comparator_witness ) Base__Comparator.comparator
val validate_lbound : min:t Base__.Maybe_bound.t -> t Base__.Validate.check
val validate_ubound : max:t Base__.Maybe_bound.t -> t Base__.Validate.check
val validate_bound : min:t Base__.Maybe_bound.t -> max:t Base__.Maybe_bound.t -> t Base__.Validate.check
module Replace_polymorphic_compare : sig ... end
module Map : sig ... end
module Set : sig ... end
include Core_kernel.Hashable with type t := t
val compare : t -> t -> Core_kernel__.Import.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 hashable : t Core_kernel__.Hashtbl.Hashable.t
module Table : sig ... end
module Hash_set : sig ... end
module Hash_queue : sig ... end
val if_ : Snark_params.Tick.Boolean.var -> then_:var -> else_:var -> var Snark_params.Tick.Checked.t
val var_of_hash_packed : Random_oracle.Checked.Digest.t -> var
val var_to_field : var -> Random_oracle.Checked.Digest.t
val of_hash : Snark_params.Tick.Field.t -> t
val to_field : t -> Snark_params.Tick.Field.t
module Stable : sig ... end
type path = Random_oracle.Digest.t list
val merge : height:int -> t -> t -> t
val to_base58_check : t -> string

string representation of hash is Base58Check of bin_io representation

val of_base58_check : string -> t Base.Or_error.t
val empty_hash : t
val of_digest : Random_oracle.Digest.t -> t
val modify_account_send : depth:int -> var -> Account_id.var -> is_writeable:Snark_params.Tick.Boolean.var -> f: ( is_empty_and_writeable:Snark_params.Tick.Boolean.var -> Account.var -> Account.var Snark_params.Tick.Checked.t ) -> var Snark_params.Tick.Checked.t
val modify_account_recv : depth:int -> var -> Account_id.var -> f: ( is_empty_and_writeable:Snark_params.Tick.Boolean.var -> Account.var -> Account.var Snark_params.Tick.Checked.t ) -> var Snark_params.Tick.Checked.t
val of_ledger_hash : Ledger_hash.t -> t
val to_ledger_hash : t -> Ledger_hash.t