Make (merkle_ledger.Merkle_ledger.Util.Make)

Parameters

module Inputs : Inputs_intf

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

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

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

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

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