Make (sparse_ledger_lib.Sparse_ledger_lib.Sparse

Parameters

module Hash : sig ... end

module Account_id : sig ... end

module Account : sig ... end

include S
  with type hash := Hash.t
   and type account_id := Account_id.t
   and type account := Account.t

type t = ( Hash.t, Account_id.t, Account.t ) T.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 of_hash : depth:int -> Hash.t -> t

val get_exn : t -> int -> Account.t

val path_exn : t -> int -> [ `Left of Hash.t | `Right of Hash.t ] list

val set_exn : t -> int -> Account.t -> t

val find_index_exn : t -> Account_id.t -> int

val add_path : 
  t ->
  [ `Left of Hash.t | `Right of Hash.t ] list ->
  Account_id.t ->
  Account.t ->
  t

val iteri : t -> f:( int -> Account.t -> unit ) -> unit

val merkle_root : t -> Hash.t

val depth : t -> int

val hash : ( Hash.t, Account.t ) Tree.t -> Hash.t