Make (merkle_ledger_tests.Merkle_ledger_tests.Test

Parameters

module Test : Test_intf

Signature

module Maskable = Test.Maskable

module Mask = Test.Mask

val directions : Direction.t list

val dummy_address : Test.Location.Addr.t

val dummy_location : Test.Location.t

val dummy_account : 
  ( Mina_base_import.Public_key.Compressed.t,
    Mina_base.Account_id.Digest.t,
    Mina_base.Token_permissions.t,
    string,
    Currency.Balance.Stable.Latest.t,
    Mina_base.Account.Nonce.t,
    Mina_base.Receipt.Chain_hash.t,
    Mina_base_import.Public_key.Compressed.t option,
    Mina_base.State_hash.t,
    ( 'a, 'b, 'c ) Mina_base.Account.Timing.tt,
    Mina_base.Permissions.t,
    'd option )
    Mina_base.Account.Poly.t

val create_new_account_exn : 
  Mask.Attached.t ->
  Mina_base.Account.t ->
  Mask.Attached.Location.t

val create_existing_account_exn : 
  Mask.Attached.t ->
  Mina_base.Account.t ->
  Mask.Attached.Location.t

val parent_create_new_account_exn : 
  Test.Base.t ->
  Mina_base.Account.t ->
  Maskable.Location.t

val compare_maskable_mask_hashes : 
  ?check_hash_in_mask:bool ->
  Test.Base.t ->
  Mask.Attached.t ->
  Mask.Attached.Addr.t ->
  bool