Mina_base (mina_base.Mina

module Import = Mina_base_import

module Util = Mina_base_util

module Account : sig ... end

module Account_id : sig ... end

module Account_timing : sig ... end

module Call_stack_digest : sig ... end

module Coinbase : sig ... end

module Coinbase_fee_transfer : sig ... end

module Control : sig ... end

module Data_as_hash : sig ... end

module Data_hash : sig ... end

module Epoch_data : sig ... end

module Epoch_ledger : sig ... end

module Epoch_seed : sig ... end

module Fee_excess : sig ... end

Fee excesses associated with transactions or transitions.

module Fee_transfer : sig ... end

module Fee_with_prover : sig ... end

module Frozen_ledger_hash : sig ... end

module Frozen_ledger_hash0 : sig ... end

module Hack_snarky_tests : sig ... end

module Hash_prefix : sig ... end

module Ledger_hash : sig ... end

module Ledger_hash0 : sig ... end

module Ledger_hash_intf : sig ... end

module Ledger_hash_intf0 : sig ... end

module Ledger_intf : sig ... end

module Account_update : sig ... end

module Payment_payload : sig ... end

module Pending_coinbase : sig ... end

module Pending_coinbase_intf : sig ... end

Pending_coinbase is to keep track of all the coinbase transactions that have been applied to the ledger but for which there is no ledger proof yet. Every ledger proof corresponds to a sequence of coinbase transactions which is part of all the transactions it proves. Each of these sequencesStack are stored using the merkle tree representation. The stacks are operated in a FIFO manner by keeping track of its positions in the merkle tree. Whenever a ledger proof is emitted, the oldest stack is removed from the tree and when a new coinbase is applied, the latest stack is updated with the new coinbase. The operations on the merkle tree of coinbase stacks include: 1) adding a new singleton stack 2) updating the latest stack when a new coinbase is added to it 2) deleting the oldest stack

module Pending_coinbase_witness : sig ... end

module Permissions : sig ... end

module Proof : sig ... end

module Protocol_constants_checked : sig ... end

module Prover_value : sig ... end

module Receipt : sig ... end

module Side_loaded_verification_key : sig ... end

module Signature : sig ... end

module Signed_command : sig ... end

module Signed_command_intf : sig ... end

module Signed_command_memo : sig ... end

module Signed_command_payload : sig ... end

module Zkapp_account : sig ... end

module Zkapp_basic : sig ... end

module Zkapp_call_forest : sig ... end

module Zkapp_command : sig ... end

module Zkapp_precondition : sig ... end

module Zkapp_state : sig ... end

module Zkapp_statement : sig ... end

module Sok_message : sig ... end

module Sparse_ledger_base : sig ... end

module Stack_frame : sig ... end

module Staged_ledger_hash : sig ... end

module Stake_delegation : sig ... end

module State_body_hash : sig ... end

module State_hash : sig ... end

module Token_id : sig ... end

module Token_permissions : sig ... end

module Transaction_status : sig ... end

module Transaction_union_payload : sig ... end

module Transaction_union_tag : sig ... end

module User_command : sig ... end

module With_stack_hash : sig ... end

module With_status : sig ... end