Test (merkle_ledger_tests.Merkle_ledger_tests.Test

val depth : int

module Location : Merkle_ledger.Location_intf.S

module Base : 
  Merkle_mask.Base_merkle_tree_intf.S
    with module Addr = Location.Addr
     and module Location = Location
     and type account := Test_stubs.Account.t
     and type root_hash := Test_stubs.Hash.t
     and type hash := Test_stubs.Hash.t
     and type key := Test_stubs.Key.t
     and type token_id := Test_stubs.Token_id.t
     and type token_id_set := Test_stubs.Token_id.Set.t
     and type account_id := Test_stubs.Account_id.t
     and type account_id_set := Test_stubs.Account_id.Set.t

module Mask : 
  Merkle_mask.Masking_merkle_tree_intf.S
    with module Location = Location
     and module Attached.Addr = Location.Addr
    with type account := Test_stubs.Account.t
     and type location := Location.t
     and type hash := Test_stubs.Hash.t
     and type parent := Base.t
     and type key := Test_stubs.Key.t
     and type token_id := Test_stubs.Token_id.t
     and type token_id_set := Test_stubs.Token_id.Set.t
     and type account_id := Test_stubs.Account_id.t
     and type account_id_set := Test_stubs.Account_id.Set.t

module Maskable : 
  Merkle_mask.Maskable_merkle_tree_intf.S
    with module Location = Location
     and module Addr = Location.Addr
    with type account := Test_stubs.Account.t
     and type root_hash := Test_stubs.Hash.t
     and type hash := Test_stubs.Hash.t
     and type unattached_mask := Mask.t
     and type attached_mask := Mask.Attached.t
     and type t := Base.t
     and type key := Test_stubs.Key.t
     and type token_id := Test_stubs.Token_id.t
     and type token_id_set := Test_stubs.Token_id.Set.t
     and type account_id := Test_stubs.Account_id.t
     and type account_id_set := Test_stubs.Account_id.Set.t

val with_instances : ( Base.t -> Mask.t -> 'a ) -> 'a

val with_chain : 
  ( Base.t ->
    mask:Mask.Attached.t ->
    mask_as_base:Base.t ->
    mask2:Mask.Attached.t ->
    'a ) ->
  'a

Here we provide a base ledger and two layers of attached masks * one ontop another