Attached (merkle_mask.Merkle_mask.Masking_merkle

type parent = Inputs.Base.t

val parent_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> parent

val sexp_of_parent : parent -> Ppx_sexp_conv_lib.Sexp.t

type t = unattached

val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t

val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t

module Path = Inputs.Base.Path

module Addr = Location.Addr

module Location = Location

type index = int

type path = Path.t

type root_hash = Inputs.Hash.t

exception Location_is_not_account of Location.t

exception Dangling_parent_reference of Uuid.t * string

val create : unit -> 'a

val with_ledger : f:'a -> 'b

val unset_parent : ?trigger_signal:bool -> loc:string -> t -> t

val assert_is_attached : t -> unit

val detached_signal : t -> unit Async_kernel__.Deferred0.t

val get_parent : t -> Inputs.Base.t

val get_uuid : t -> Uuid.Stable.V1.t

val get_directory : t -> string option

val depth : t -> int

val self_find_hash : t -> Addr.Table.key -> Inputs.Hash.t option

val self_set_hash : t -> Addr.Table.key -> Inputs.Hash.t -> unit

val set_inner_hash_at_addr_exn : t -> Addr.t -> Inputs.Hash.t -> unit

val self_find_location : t -> Inputs.Account_id.Table.key -> Location.t option

val self_set_location : t -> Inputs.Account_id.Table.key -> Location.t -> unit

val self_find_account : 
  t ->
  Inputs.Location_binable.Table.key ->
  Inputs.Account.t option

val self_find_all_accounts : t -> Inputs.Account.t list

val self_set_account : 
  t ->
  Inputs.Location_binable.Table.key ->
  Inputs.Account.t ->
  unit

val get : t -> Inputs.Location_binable.Table.key -> Inputs.Account.t option

val get_batch : 
  t ->
  Inputs.Location_binable.Table.key list ->
  (Inputs.Location_binable.Table.key * Inputs.Account.t option) Base__List.t

val fixup_merkle_path : 
  t ->
  [< `Left of Inputs.Hash.t & 'a | `Right of Inputs.Hash.t & 'b ] list ->
  Addr.t ->
  [> `Left of Inputs.Hash.t | `Right of Inputs.Hash.t ] list

val merkle_path_at_addr_exn : 
  t ->
  Inputs.Base.Addr.t ->
  [> `Left of Inputs.Hash.t | `Right of Inputs.Hash.t ] list

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

val merkle_path : 
  t ->
  Location.t ->
  [> `Left of Inputs.Hash.t | `Right of Inputs.Hash.t ] list

val addresses_and_hashes_from_merkle_path_exn : 
  [< `Left of Inputs.Hash.t | `Right of Inputs.Hash.t ] list ->
  Addr.t ->
  Inputs.Hash.t ->
  (Addr.t * Inputs.Hash.t) list

val merkle_root : t -> Inputs.Hash.t

val remove_account_and_update_hashes : 
  t ->
  Inputs.Location_binable.Table.key ->
  unit

val set : t -> Inputs.Location_binable.Table.key -> Inputs.Account.t -> unit

val parent_set_notify : t -> Inputs.Account.t -> unit

val get_hash : t -> Addr.Table.key -> Inputs.Hash.t option

val get_batch_exn : 
  t ->
  Inputs.Location_binable.Table.key list ->
  Inputs.Account.t option list

val get_hash_batch_exn : t -> Addr.Table.key list -> Inputs.Hash.t option list

val commit : t -> unit

val copy : t -> t

val last_filled : t -> Location.t option

val get_all_accounts_rooted_at_exn : 
  t ->
  Inputs.Location.Addr.t ->
  (Inputs.Location.Addr.t * Inputs.Account.t) list

val set_hash_batch : t -> (Inputs.Location.t * Inputs.Hash.t) list -> unit

val set_batch : t -> (Inputs.Location.t * Inputs.Account.t) list -> unit

val set_batch_accounts : 
  t ->
  (Inputs.Location.Addr.t * Inputs.Account.t) list ->
  unit

val set_all_accounts_rooted_at_exn : 
  t ->
  Inputs.Location.Addr.t ->
  Inputs.Account.t list ->
  unit

val set_batch_accounts : 
  t ->
  (Inputs.Location.Addr.t * Inputs.Account.t) list ->
  unit

val set_all_accounts_rooted_at_exn : 
  t ->
  Inputs.Location.Addr.t ->
  Inputs.Account.t list ->
  unit

val accounts : t -> Inputs.Account_id.Set.t

val token_owner : t -> Inputs.Token_id.t -> Inputs.Account_id.t option

val token_owners : t -> Inputs.Account_id.Set.t

val tokens : 
  t ->
  Inputs.Key.t ->
  ( Inputs.Token_id.Set.Elt.t, Inputs.Token_id.Set.Elt.comparator_witness )
    Core.Set.t

val num_accounts : t -> int

val location_of_account : t -> Inputs.Account_id.Table.key -> Location.t option

val location_of_account_batch : 
  t ->
  Inputs.Account_id.Table.key list ->
  (Inputs.Account_id.Table.key * Location.t option) Base__List.t

val make_space_for : t -> int -> unit

val get_inner_hash_at_addr_exn : t -> Addr.t -> Inputs.Hash.t

val remove_accounts_exn : t -> Inputs.Account_id.Table.key list -> unit

val close : t -> unit

val index_of_account_exn : t -> Inputs.Account_id.Table.key -> int

val get_at_index_exn : t -> int -> Inputs.Account.t

val set_at_index_exn : t -> int -> Inputs.Account.t -> unit

val to_list : t -> Inputs.Account.t list

val iteri : t -> f:( Core.Int.t -> Inputs.Account.t -> unit ) -> unit

val foldi_with_ignored_accounts : 
  t ->
  Inputs.Account_id.Set.t ->
  init:'a ->
  f:( Inputs.Base.Addr.t -> 'b -> Inputs.Account.t -> 'b ) ->
  'c

val foldi : 
  t ->
  init:'a ->
  f:( Inputs.Base.Addr.t -> 'b -> Inputs.Account.t -> 'b ) ->
  'c

val fold_until : 'a -> init:'b -> f:'c -> finish:'d -> 'e

module For_testing : sig ... end

val first_location : ledger_depth:int -> Location.t

val loc_max : Location.t -> Location.t -> Location.t

val get_or_create_account : 
  t ->
  Inputs.Account_id.Table.key ->
  Inputs.Account.t ->
  ( [> `Added | `Existed ] * Inputs.Base.Location.t, Core_kernel__.Error.t )
    Core._result

val sexp_of_location : Location.t -> Sexplib0__.Sexp.t

val location_of_sexp : Sexplib0__.Sexp.t -> Location.t