Ascent++ | encoded as unsigned 32-bit integer

Assertion list for term "encoded as unsigned 32-bit integer".

Results from Ascent++: 1

parameter → ReceivesAction → encoded as unsigned 32-bit integer

0.32