Assertion list for term "described in main ethereum specification".
Results from Ascent++: 1
format → ReceivesAction → described in main ethereum specification 0.27