Make_maskable_and_mask (merkle_ledger_tests.Merkle_ledger_tests.Test_mask.Make_maskable_and

Parameters

module Depth : Depth_S

Signature

module Maskable : sig ... end

module Mask : sig ... end

val directions : Direction.t list

val dummy_address : Make_maskable_and_mask_with_depth(Depth).Location.Addr.t

val dummy_location : Make_maskable_and_mask_with_depth(Depth).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 : 
  Make_maskable_and_mask_with_depth(Depth).Base.t ->
  Mina_base.Account.t ->
  Maskable.Location.t

val compare_maskable_mask_hashes : 
  ?check_hash_in_mask:bool ->
  Make_maskable_and_mask_with_depth(Depth).Base.t ->
  Mask.Attached.t ->
  Mask.Attached.Addr.t ->
  bool