A LedgerStateKind is the kind of any type that takes a single MapKind parameter. The canonical inhabitant is a ledger state applied to a block type, for example LedgerState blk.

Something that holds two types, which intend to represent keys and values.

A StateKind is the kind of a ledger state *before* it receives its block argument.

The four inhabitants in this codebase are [Ticked] [Ext]LedgerState.

The Ledger Tables represent the portion of the data on disk that has been pulled from disk and attached to the in-memory Ledger State or that will eventually be written to disk.

With UTxO-HD and the split of the Ledger ledger state into the in-memory part and the on-disk part, this splitting was reflected in the new type parameter added to the (Consensus) LedgerState, to which we refer as "the MapKind" or mk.

Every LedgerState (or LedgerState-like type, such as the ExtLedgerState) is associated with a LedgerTables and they both share the mk. They both are of kind LedgerStateKind. LedgerTables is just a way to refer only to a partial view of the on-disk data without having the rest of the in-memory LedgerState in scope.

The mk can be instantiated to anything that is map-like, i.e. that expects two type parameters, the key and the value.

Each LedgerState instance will have the notion of a TxIn for the tables.

This will change once there is more than one table.

Each LedgerState instance will have the notion of a TxOut for the tables.

This will change once there is more than one table.