ledgerStateModel: ModelTypes["LedgerState"]