def SortSchedule.toNat (s : SortSchedule) : Nat

Equations

• SortSchedule.DEFAULT_EVM.toNat = 0
• SortSchedule.FRONTIER_EVM.toNat = 1
• SortSchedule.HOMESTEAD_EVM.toNat = 2
• SortSchedule.TANGERINE_WHISTLE_EVM.toNat = 3
• SortSchedule.SPURIOUS_DRAGON_EVM.toNat = 4
• SortSchedule.BYZANTIUM_EVM.toNat = 5
• SortSchedule.CONSTANTINOPLE_EVM.toNat = 6
• SortSchedule.PETERSBURG_EVM.toNat = 7
• SortSchedule.ISTANBUL_EVM.toNat = 8
• SortSchedule.BERLIN_EVM.toNat = 9
• SortSchedule.LONDON_EVM.toNat = 10
• SortSchedule.MERGE_EVM.toNat = 11
• SortSchedule.SHANGHAI_EVM.toNat = 12
• SortSchedule.CANCUN_EVM.toNat = 13

def SortScheduleConst.toNat (sc : SortScheduleConst) : Nat

def SortScheduleFlag.toNat (sf : SortScheduleFlag) : Nat

Equations

• SortScheduleFlag.Gemptyisnonexistent_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasaccesslist_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasbasefee_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasbeaconroot_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasblobbasefee_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasblobhash_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghaschainid_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghascreate2_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasdirtysstore_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghaseip6780_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasextcodehash_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasmaxinitcodesize_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasmcopy_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasprevrandao_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghaspushzero_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasrejectedfirstbyte_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasreturndata_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasrevert_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasselfbalance_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasshift_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghassstorestipend_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghasstaticcall_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghastransient_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghaswarmcoinbase_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Ghaswithdrawals_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Gselfdestructnewaccount_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Gstaticcalldepth_SCHEDULE_ScheduleFlag.toNat = 1
• SortScheduleFlag.Gzerovaluenewaccountgas_SCHEDULE_ScheduleFlag.toNat = 1