instance instInjSortLogCellSortKItem : Inj SortLogCell SortKItem

Equations

• instInjSortLogCellSortKItem = { inj := SortKItem.inj_SortLogCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortLogCell x => some x | x => none }

instance instInjSortTransactionsRootCellSortKItem : Inj SortTransactionsRootCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortTxGasLimitCellSortKItem : Inj SortTxGasLimitCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortCallDataCellSortKItem : Inj SortCallDataCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortKevmCellSortKItem : Inj SortKevmCell SortKItem

Equations

• instInjSortKevmCellSortKItem = { inj := SortKItem.inj_SortKevmCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortKevmCell x => some x | x => none }

instance instInjSortInternalOpSortKItem : Inj SortInternalOp SortKItem

Equations

• instInjSortInternalOpSortKItem = { inj := SortKItem.inj_SortInternalOp, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortInternalOp x => some x | x => none }

instance instInjSortScheduleCellSortKItem : Inj SortScheduleCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortAccountsCellSortKItem : Inj SortAccountsCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortCallValueCellSortKItem : Inj SortCallValueCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortEthereumCellSortKItem : Inj SortEthereumCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortWithdrawalCellSortKItem : Inj SortWithdrawalCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortModeCellSortKItem : Inj SortModeCell SortKItem

Equations

• instInjSortModeCellSortKItem = { inj := SortKItem.inj_SortModeCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortModeCell x => some x | x => none }

instance instInjSortBinStackOpSortKItem : Inj SortBinStackOp SortKItem

Equations

• instInjSortBinStackOpSortKItem = { inj := SortKItem.inj_SortBinStackOp, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortBinStackOp x => some x | x => none }

instance instInjSortTernStackOpSortKItem : Inj SortTernStackOp SortKItem

Equations

• instInjSortTernStackOpSortKItem = { inj := SortKItem.inj_SortTernStackOp, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortTernStackOp x => some x | x => none }

instance instInjSortBlockCellSortKItem : Inj SortBlockCell SortKItem

Equations

• instInjSortBlockCellSortKItem = { inj := SortKItem.inj_SortBlockCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortBlockCell x => some x | x => none }

instance instInjSortGeneratedTopCellSortKItem : Inj SortGeneratedTopCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortBlockhashesCellSortKItem : Inj SortBlockhashesCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortWithdrawalsPendingCellSortKItem : Inj SortWithdrawalsPendingCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortAccessedAccountsCellSortKItem : Inj SortAccessedAccountsCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortCallGasCellSortKItem : Inj SortCallGasCell SortKItem

Equations

• instInjSortCallGasCellSortKItem = { inj := SortKItem.inj_SortCallGasCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortCallGasCell x => some x | x => none }

instance instInjSortBeaconRootCellSortKItem : Inj SortBeaconRootCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortTxNonceCellSortKItem : Inj SortTxNonceCell SortKItem

Equations

• instInjSortTxNonceCellSortKItem = { inj := SortKItem.inj_SortTxNonceCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortTxNonceCell x => some x | x => none }

instance instInjSortIndexCellSortKItem : Inj SortIndexCell SortKItem

Equations

• instInjSortIndexCellSortKItem = { inj := SortKItem.inj_SortIndexCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortIndexCell x => some x | x => none }

instance instInjSortJSONSortKItem : Inj SortJSON SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortIntSortKItem : Inj SortInt SortKItem

Equations

• instInjSortIntSortKItem = { inj := SortKItem.inj_SortInt, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortInt x => some x | x => none }

instance instInjSortSigSCellSortKItem : Inj SortSigSCell SortKItem

Equations

• instInjSortSigSCellSortKItem = { inj := SortKItem.inj_SortSigSCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortSigSCell x => some x | x => none }

instance instInjSortSetSortKItem : Inj SortSet SortKItem

Equations

• instInjSortSetSortKItem = { inj := SortKItem.inj_SortSet, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortSet x => some x | x => none }

instance instInjSortMaybeOpCodeSortKItem : Inj SortMaybeOpCode SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortInterimStatesCellSortKItem : Inj SortInterimStatesCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortTxVersionedHashesCellSortKItem : Inj SortTxVersionedHashesCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortMessagesCellSortKItem : Inj SortMessagesCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortJumpDestsCellSortKItem : Inj SortJumpDestsCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortWithdrawalsOrderCellSortKItem : Inj SortWithdrawalsOrderCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortBytesSortKItem : Inj SortBytes SortKItem

Equations

• instInjSortBytesSortKItem = { inj := SortKItem.inj_SortBytes, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortBytes x => some x | x => none }

instance instInjSortScheduleConstSortKItem : Inj SortScheduleConst SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortOmmersHashCellSortKItem : Inj SortOmmersHashCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortBlobGasUsedCellSortKItem : Inj SortBlobGasUsedCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortReceiptsRootCellSortKItem : Inj SortReceiptsRootCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortNullStackOpSortKItem : Inj SortNullStackOp SortKItem

Equations

• instInjSortNullStackOpSortKItem = { inj := SortKItem.inj_SortNullStackOp, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortNullStackOp x => some x | x => none }

instance instInjSortStaticCellSortKItem : Inj SortStaticCell SortKItem

Equations

• instInjSortStaticCellSortKItem = { inj := SortKItem.inj_SortStaticCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortStaticCell x => some x | x => none }

instance instInjSortAccountCellSortKItem : Inj SortAccountCell SortKItem

Equations

• instInjSortAccountCellSortKItem = { inj := SortKItem.inj_SortAccountCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortAccountCell x => some x | x => none }

instance instInjSortTxMaxBlobFeeCellSortKItem : Inj SortTxMaxBlobFeeCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortUnStackOpSortKItem : Inj SortUnStackOp SortKItem

Equations

• instInjSortUnStackOpSortKItem = { inj := SortKItem.inj_SortUnStackOp, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortUnStackOp x => some x | x => none }

instance instInjSortChainIDCellSortKItem : Inj SortChainIDCell SortKItem

Equations

• instInjSortChainIDCellSortKItem = { inj := SortKItem.inj_SortChainIDCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortChainIDCell x => some x | x => none }

instance instInjSortAddressCellSortKItem : Inj SortAddressCell SortKItem

Equations

• instInjSortAddressCellSortKItem = { inj := SortKItem.inj_SortAddressCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortAddressCell x => some x | x => none }

instance instInjSortOmmerBlockHeadersCellSortKItem : Inj SortOmmerBlockHeadersCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortNetworkCellSortKItem : Inj SortNetworkCell SortKItem

Equations

• instInjSortNetworkCellSortKItem = { inj := SortKItem.inj_SortNetworkCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortNetworkCell x => some x | x => none }

instance instInjSortNumberCellSortKItem : Inj SortNumberCell SortKItem

Equations

• instInjSortNumberCellSortKItem = { inj := SortKItem.inj_SortNumberCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortNumberCell x => some x | x => none }

instance instInjSortLocalMemCellSortKItem : Inj SortLocalMemCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortMapSortKItem : Inj SortMap SortKItem

Equations

• instInjSortMapSortKItem = { inj := SortKItem.inj_SortMap, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortMap x => some x | x => none }

instance instInjSortJSONKeySortKItem : Inj SortJSONKey SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortLogsBloomCellSortKItem : Inj SortLogsBloomCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortKCellSortKItem : Inj SortKCell SortKItem

Equations

• instInjSortKCellSortKItem = { inj := SortKItem.inj_SortKCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortKCell x => some x | x => none }

instance instInjSortBalanceCellSortKItem : Inj SortBalanceCell SortKItem

Equations

• instInjSortBalanceCellSortKItem = { inj := SortKItem.inj_SortBalanceCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortBalanceCell x => some x | x => none }

instance instInjSortOriginCellSortKItem : Inj SortOriginCell SortKItem

Equations

• instInjSortOriginCellSortKItem = { inj := SortKItem.inj_SortOriginCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortOriginCell x => some x | x => none }

instance instInjSortNonceCellSortKItem : Inj SortNonceCell SortKItem

Equations

• instInjSortNonceCellSortKItem = { inj := SortKItem.inj_SortNonceCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortNonceCell x => some x | x => none }

instance instInjSortTouchedAccountsCellSortKItem : Inj SortTouchedAccountsCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortEndiannessSortKItem : Inj SortEndianness SortKItem

Equations

• instInjSortEndiannessSortKItem = { inj := SortKItem.inj_SortEndianness, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortEndianness x => some x | x => none }

instance instInjSortGasPriceCellSortKItem : Inj SortGasPriceCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortStatusCodeCellSortKItem : Inj SortStatusCodeCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortAccountCodeSortKItem : Inj SortAccountCode SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortSigRCellSortKItem : Inj SortSigRCell SortKItem

Equations

• instInjSortSigRCellSortKItem = { inj := SortKItem.inj_SortSigRCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortSigRCell x => some x | x => none }

instance instInjSortValueCellSortKItem : Inj SortValueCell SortKItem

Equations

• instInjSortValueCellSortKItem = { inj := SortKItem.inj_SortValueCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortValueCell x => some x | x => none }

instance instInjSortGasLimitCellSortKItem : Inj SortGasLimitCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortExitCodeCellSortKItem : Inj SortExitCodeCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortCoinbaseCellSortKItem : Inj SortCoinbaseCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortGasSortKItem : Inj SortGas SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortOutputCellSortKItem : Inj SortOutputCell SortKItem

Equations

• instInjSortOutputCellSortKItem = { inj := SortKItem.inj_SortOutputCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortOutputCell x => some x | x => none }

instance instInjSortTxTypeSortKItem : Inj SortTxType SortKItem

Equations

• instInjSortTxTypeSortKItem = { inj := SortKItem.inj_SortTxType, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortTxType x => some x | x => none }

instance instInjSortTxOrderCellSortKItem : Inj SortTxOrderCell SortKItem

Equations

• instInjSortTxOrderCellSortKItem = { inj := SortKItem.inj_SortTxOrderCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortTxOrderCell x => some x | x => none }

instance instInjSortOrigStorageCellSortKItem : Inj SortOrigStorageCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortListSortKItem : Inj SortList SortKItem

Equations

• instInjSortListSortKItem = { inj := SortKItem.inj_SortList, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortList x => some x | x => none }

instance instInjSortBlockNonceCellSortKItem : Inj SortBlockNonceCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortSignednessSortKItem : Inj SortSignedness SortKItem

Equations

• instInjSortSignednessSortKItem = { inj := SortKItem.inj_SortSignedness, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortSignedness x => some x | x => none }

instance instInjSortTxAccessCellSortKItem : Inj SortTxAccessCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortAmountCellSortKItem : Inj SortAmountCell SortKItem

Equations

• instInjSortAmountCellSortKItem = { inj := SortKItem.inj_SortAmountCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortAmountCell x => some x | x => none }

instance instInjSortCodeCellSortKItem : Inj SortCodeCell SortKItem

Equations

• instInjSortCodeCellSortKItem = { inj := SortKItem.inj_SortCodeCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortCodeCell x => some x | x => none }

instance instInjSortWithdrawalIDCellSortKItem : Inj SortWithdrawalIDCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortMsgIDCellSortKItem : Inj SortMsgIDCell SortKItem

Equations

• instInjSortMsgIDCellSortKItem = { inj := SortKItem.inj_SortMsgIDCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortMsgIDCell x => some x | x => none }

instance instInjSortMessageCellMapSortKItem : Inj SortMessageCellMap SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortWithdrawalsRootCellSortKItem : Inj SortWithdrawalsRootCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortWithdrawalCellMapSortKItem : Inj SortWithdrawalCellMap SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortPushOpSortKItem : Inj SortPushOp SortKItem

Equations

• instInjSortPushOpSortKItem = { inj := SortKItem.inj_SortPushOp, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortPushOp x => some x | x => none }

instance instInjSortTxGasPriceCellSortKItem : Inj SortTxGasPriceCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortStatusCodeSortKItem : Inj SortStatusCode SortKItem

Equations

• instInjSortStatusCodeSortKItem = { inj := SortKItem.inj_SortStatusCode, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortStatusCode x => some x | x => none }

instance instInjSortCallStateCellSortKItem : Inj SortCallStateCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortSubstateCellSortKItem : Inj SortSubstateCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortGasCellSortKItem : Inj SortGasCell SortKItem

Equations

• instInjSortGasCellSortKItem = { inj := SortKItem.inj_SortGasCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortGasCell x => some x | x => none }

instance instInjSortGasUsedCellSortKItem : Inj SortGasUsedCell SortKItem

Equations

• instInjSortGasUsedCellSortKItem = { inj := SortKItem.inj_SortGasUsedCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortGasUsedCell x => some x | x => none }

instance instInjSortTxPriorityFeeCellSortKItem : Inj SortTxPriorityFeeCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortWordStackCellSortKItem : Inj SortWordStackCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortUseGasCellSortKItem : Inj SortUseGasCell SortKItem

Equations

• instInjSortUseGasCellSortKItem = { inj := SortKItem.inj_SortUseGasCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortUseGasCell x => some x | x => none }

instance instInjSortPreviousHashCellSortKItem : Inj SortPreviousHashCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortBaseFeeCellSortKItem : Inj SortBaseFeeCell SortKItem

Equations

• instInjSortBaseFeeCellSortKItem = { inj := SortKItem.inj_SortBaseFeeCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortBaseFeeCell x => some x | x => none }

instance instInjSortRefundCellSortKItem : Inj SortRefundCell SortKItem

Equations

• instInjSortRefundCellSortKItem = { inj := SortKItem.inj_SortRefundCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortRefundCell x => some x | x => none }

instance instInjSortTxMaxFeeCellSortKItem : Inj SortTxMaxFeeCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortAccessedStorageCellSortKItem : Inj SortAccessedStorageCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortCallerCellSortKItem : Inj SortCallerCell SortKItem

Equations

• instInjSortCallerCellSortKItem = { inj := SortKItem.inj_SortCallerCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortCallerCell x => some x | x => none }

instance instInjSortTimestampCellSortKItem : Inj SortTimestampCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortAccountCellMapSortKItem : Inj SortAccountCellMap SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortDifficultyCellSortKItem : Inj SortDifficultyCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortSigVCellSortKItem : Inj SortSigVCell SortKItem

Equations

• instInjSortSigVCellSortKItem = { inj := SortKItem.inj_SortSigVCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortSigVCell x => some x | x => none }

instance instInjSortProgramCellSortKItem : Inj SortProgramCell SortKItem

Equations

• instInjSortProgramCellSortKItem = { inj := SortKItem.inj_SortProgramCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortProgramCell x => some x | x => none }

instance instInjSortWithdrawalsCellSortKItem : Inj SortWithdrawalsCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortSelfDestructCellSortKItem : Inj SortSelfDestructCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortIdCellSortKItem : Inj SortIdCell SortKItem

Equations

• instInjSortIdCellSortKItem = { inj := SortKItem.inj_SortIdCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortIdCell x => some x | x => none }

instance instInjSortCallDepthCellSortKItem : Inj SortCallDepthCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortValidatorIndexCellSortKItem : Inj SortValidatorIndexCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortExcessBlobGasCellSortKItem : Inj SortExcessBlobGasCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortAccountSortKItem : Inj SortAccount SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortCallStackCellSortKItem : Inj SortCallStackCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortJSONsSortKItem : Inj SortJSONs SortKItem

Equations

• instInjSortJSONsSortKItem = { inj := SortKItem.inj_SortJSONs, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortJSONs x => some x | x => none }

instance instInjSortModeSortKItem : Inj SortMode SortKItem

Equations

• instInjSortModeSortKItem = { inj := SortKItem.inj_SortMode, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortMode x => some x | x => none }

instance instInjSortDataCellSortKItem : Inj SortDataCell SortKItem

Equations

• instInjSortDataCellSortKItem = { inj := SortKItem.inj_SortDataCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortDataCell x => some x | x => none }

instance instInjSortPcCellSortKItem : Inj SortPcCell SortKItem

Equations

• instInjSortPcCellSortKItem = { inj := SortKItem.inj_SortPcCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortPcCell x => some x | x => none }

instance instInjSortMemoryUsedCellSortKItem : Inj SortMemoryUsedCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortStateRootCellSortKItem : Inj SortStateRootCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortEvmCellSortKItem : Inj SortEvmCell SortKItem

Equations

• instInjSortEvmCellSortKItem = { inj := SortKItem.inj_SortEvmCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortEvmCell x => some x | x => none }

instance instInjSortStorageCellSortKItem : Inj SortStorageCell SortKItem

Equations

• instInjSortStorageCellSortKItem = { inj := SortKItem.inj_SortStorageCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortStorageCell x => some x | x => none }

instance instInjSortTransientStorageCellSortKItem : Inj SortTransientStorageCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortScheduleFlagSortKItem : Inj SortScheduleFlag SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortVersionedHashesCellSortKItem : Inj SortVersionedHashesCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortMixHashCellSortKItem : Inj SortMixHashCell SortKItem

Equations

• instInjSortMixHashCellSortKItem = { inj := SortKItem.inj_SortMixHashCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortMixHashCell x => some x | x => none }

instance instInjSortExtraDataCellSortKItem : Inj SortExtraDataCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortWordStackSortKItem : Inj SortWordStack SortKItem

Equations

• instInjSortWordStackSortKItem = { inj := SortKItem.inj_SortWordStack, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortWordStack x => some x | x => none }

instance instInjSortToCellSortKItem : Inj SortToCell SortKItem

Equations

• instInjSortToCellSortKItem = { inj := SortKItem.inj_SortToCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortToCell x => some x | x => none }

instance instInjSortTxPendingCellSortKItem : Inj SortTxPendingCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortGeneratedCounterCellSortKItem : Inj SortGeneratedCounterCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortMessageCellSortKItem : Inj SortMessageCell SortKItem

Equations

• instInjSortMessageCellSortKItem = { inj := SortKItem.inj_SortMessageCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortMessageCell x => some x | x => none }

instance instInjSortScheduleSortKItem : Inj SortSchedule SortKItem

Equations

• instInjSortScheduleSortKItem = { inj := SortKItem.inj_SortSchedule, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortSchedule x => some x | x => none }

instance instInjSortTxTypeCellSortKItem : Inj SortTxTypeCell SortKItem

Equations

• instInjSortTxTypeCellSortKItem = { inj := SortKItem.inj_SortTxTypeCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortTxTypeCell x => some x | x => none }

instance instInjSortCreatedAccountsCellSortKItem : Inj SortCreatedAccountsCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortBoolSortKItem : Inj SortBool SortKItem

Equations

• instInjSortBoolSortKItem = { inj := SortKItem.inj_SortBool, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortBool x => some x | x => none }

instance instInjSortTxChainIDCellSortKItem : Inj SortTxChainIDCell SortKItem

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortAcctIDCellSortKItem : Inj SortAcctIDCell SortKItem

Equations

• instInjSortAcctIDCellSortKItem = { inj := SortKItem.inj_SortAcctIDCell, retr := fun (x : SortKItem) => match x with | SortKItem.inj_SortAcctIDCell x => some x | x => none }

instance instInjSortIntSortGas : Inj SortInt SortGas

Equations

• instInjSortIntSortGas = { inj := SortGas.inj_SortInt, retr := fun (x : SortGas) => match x with | SortGas.inj_SortInt x => some x }

instance instInjSortAccountSortJSON : Inj SortAccount SortJSON

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortBoolSortJSON : Inj SortBool SortJSON

Equations

• instInjSortBoolSortJSON = { inj := SortJSON.inj_SortBool, retr := fun (x : SortJSON) => match x with | SortJSON.inj_SortBool x => some x | x => none }

instance instInjSortIntSortJSON : Inj SortInt SortJSON

Equations

• instInjSortIntSortJSON = { inj := SortJSON.inj_SortInt, retr := fun (x : SortJSON) => match x with | SortJSON.inj_SortInt x => some x | x => none }

instance instInjSortBytesSortJSON : Inj SortBytes SortJSON

Equations

• instInjSortBytesSortJSON = { inj := SortJSON.inj_SortBytes, retr := fun (x : SortJSON) => match x with | SortJSON.inj_SortBytes x => some x | x => none }

instance instInjSortMapSortJSON : Inj SortMap SortJSON

Equations

• instInjSortMapSortJSON = { inj := SortJSON.inj_SortMap, retr := fun (x : SortJSON) => match x with | SortJSON.inj_SortMap x => some x | x => none }

instance instInjSortTxTypeSortJSON : Inj SortTxType SortJSON

Equations

• instInjSortTxTypeSortJSON = { inj := SortJSON.inj_SortTxType, retr := fun (x : SortJSON) => match x with | SortJSON.inj_SortTxType x => some x | x => none }

instance instInjSortIntSortJSONKey : Inj SortInt SortJSONKey

Equations

• instInjSortIntSortJSONKey = { inj := SortJSONKey.inj_SortInt, retr := fun (x : SortJSONKey) => match x with | SortJSONKey.inj_SortInt x => some x }

instance instInjSortTernStackOpSortMaybeOpCode : Inj SortTernStackOp SortMaybeOpCode

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortNullStackOpSortMaybeOpCode : Inj SortNullStackOp SortMaybeOpCode

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortUnStackOpSortMaybeOpCode : Inj SortUnStackOp SortMaybeOpCode

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortInternalOpSortMaybeOpCode : Inj SortInternalOp SortMaybeOpCode

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortBinStackOpSortMaybeOpCode : Inj SortBinStackOp SortMaybeOpCode

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortPushOpSortMaybeOpCode : Inj SortPushOp SortMaybeOpCode

Equations

• One or more equations did not get rendered due to their size.

instance instInjSortIntSortAccount : Inj SortInt SortAccount

Equations

• instInjSortIntSortAccount = { inj := SortAccount.inj_SortInt, retr := fun (x : SortAccount) => match x with | SortAccount.inj_SortInt x => some x | x => none }

instance instInjSortBytesSortAccountCode : Inj SortBytes SortAccountCode

Equations

• instInjSortBytesSortAccountCode = { inj := SortAccountCode.inj_SortBytes, retr := fun (x : SortAccountCode) => match x with | SortAccountCode.inj_SortBytes x => some x }