Genesis_ledger (coda_genesis_ledger.Genesis

module Ledger = Mina_ledger.Ledger

module Intf : sig ... end

val account_with_timing : 
  Mina_base.Account_id.t ->
  'a ->
  Intf.Timing.t ->
  ( Mina_base_import.Public_key.Compressed.t,
    Mina_base.Account_id.Digest.t,
    Mina_base.Token_permissions.t,
    string,
    'b,
    Mina_base.Account.Nonce.t,
    Mina_base.Receipt.Chain_hash.t,
    Mina_base_import.Public_key.Compressed.t option,
    Mina_base.State_hash.t,
    ( Mina_numbers.Global_slot.t,
      Currency.Balance.Stable.Latest.t,
      Currency.Amount.Stable.Latest.t )
      Mina_base.Account.Timing.tt,
    Mina_base.Permissions.t,
    'c option )
    Mina_base.Account.Poly.t

module Private_accounts (Accounts : Intf.Private_accounts.S) : sig ... end

module Public_accounts (Accounts : Intf.Public_accounts.S) : sig ... end

module Balances (Balances : Intf.Named_balances_intf) : sig ... end

Generate a ledger using the sample keypairs from Mina_base with the given balances.

module Utils : sig ... end

include module type of struct include Utils end

val keypair_of_account_record_exn : 
  (Signature_lib.Private_key.t option
   * ( Signature_lib.Public_key.Compressed.t,
       'a,
       'b,
       'c,
       'd,
       'e,
       'f,
       'g,
       'h,
       'i,
       'j,
       'k )
       Mina_base.Account.Poly.Stable.Latest.t) ->
  Signature_lib.Keypair.t

val id_of_account_record : ('a * Mina_base.Account.t) -> Mina_base.Account_id.t

val pk_of_account_record : 
  ('a * Mina_base.Account.Stable.Latest.t) ->
  Mina_base.Account.key

val find_account_record_exn : f:( 'a -> bool ) -> ('b * 'c) list -> 'b * 'c

val find_new_account_record_exn_ : 
  ('a * Mina_base.Account.Stable.Latest.t) list ->
  Mina_base.Account.key list ->
  'a * Mina_base.Account.Stable.Latest.t

val find_new_account_record_exn : 
  ('a * Mina_base.Account.Stable.Latest.t) list ->
  Signature_lib.Public_key.t list ->
  'a * Mina_base.Account.Stable.Latest.t

module Make (Inputs : Intf.Ledger_input_intf) : Intf.S

module Packed : sig ... end

module Of_ledger (T : sig ... end) : Intf.S

val fetch_ledger : 
  Core_kernel.String.Map.Key.t ->
  (module Intf.Named_accounts_intf) Core_kernel__.Import.option

val register_ledger : (module Intf.Named_accounts_intf) -> unit

val fetch_ledger_exn : 
  Core_kernel.String.Map.Key.t ->
  (module Intf.Named_accounts_intf)

module Register
  (Accounts : Intf.Named_accounts_intf) : 
  Intf.Named_accounts_intf

module Testnet_postake : sig ... end

module Testnet_postake_many_producers : Intf.Named_accounts_intf

module Test : sig ... end

module Fuzz : sig ... end

module Release : sig ... end

module Unit_test_ledger : Intf.S

val for_unit_tests : Packed.t

module Integration_tests : sig ... end