Module Mina_base.Sparse_ledger_base

module Stable : sig ... end
val to_yojson : t -> Yojson.Safe.t
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
type sparse_ledger = t
module Global_state : sig ... end
module L : Ledger_intf.S with type t = t Core_kernel.ref and type location = int
val merkle_root : t -> Ledger_hash.t
val depth : t -> int
val get_exn : t -> int -> Account.t
val set_exn : t -> int -> Account.t -> t
val path_exn : t -> int -> [ `Left of Ledger_hash.t | `Right of Ledger_hash.t ] list
val find_index_exn : t -> Account_id.t -> int
val of_root : depth:int -> Ledger_hash.t -> t
val empty : depth:int -> unit -> t

Create a new 'empty' ledger. This ledger has an invalid root hash, and cannot be used except as a placeholder.

val add_path : t -> [ `Left of Snark_params.Tick.Field.t | `Right of Snark_params.Tick.Field.t ] list -> Account_id.t -> Account.t -> t
val iteri : t -> f:( Account.Index.t -> Account.t -> unit ) -> unit
val handler : t -> Snark_params.Tick.Handler.t Core_kernel.Staged.t
val has_locked_tokens_exn : global_slot:Mina_numbers.Global_slot.t -> account_id:Account_id.t -> t -> bool