Module Masking_merkle_tree.Make

Parameters

Signature

type account = Inputs.Account.t
type hash = Inputs.Hash.t
type account_id = Inputs.Account_id.t
type account_id_set = Inputs.Account_id.Set.t
type location = Inputs.Location.t
module Location = Inputs.Location
module Addr = Location.Addr
module Parent : sig ... end

Invariant is that parent is None in unattached mask and `Some` in the attached one. We can capture this with a GADT but there's some annoying issues with bin_io to do so

module Detached_parent_signal : sig ... end
type t = {
uuid : Uuid.Stable.V1.t;
account_tbl : Inputs.Account.t Inputs.Location_binable.Table.t;
token_owners : Inputs.Account_id.t Inputs.Token_id.Table.t;
mutable parent : Parent.t;
detached_parent_signal : Detached_parent_signal.t;
hash_tbl : Inputs.Hash.t Addr.Table.t;
location_tbl : Location.t Inputs.Account_id.Table.t;
mutable current_location : Location.t option;
depth : int;
}
val t_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> t
val sexp_of_t : t -> Ppx_sexp_conv_lib.Sexp.t
type unattached = t
val unattached_of_sexp : Ppx_sexp_conv_lib.Sexp.t -> unattached
val sexp_of_unattached : unattached -> Ppx_sexp_conv_lib.Sexp.t
val create : depth:int -> unit -> t
val get_uuid : t -> Uuid.Stable.V1.t
val depth : t -> int
val with_ledger : f:( ( depth:int -> t ) -> 'a ) -> 'b
module Attached : sig ... end
val set_parent : t -> Inputs.Base.t -> t
val addr_to_location : Location.Addr.t -> Location.t