HomeIsabelle/Phabricator

Change argument types of RTS functions so that they are always POLYUNSIGNED…

Description

Change argument types of RTS functions so that they are always POLYUNSIGNED values. This ensures consistency and avoids problems with 32-in-64 on big-endian machines.

Details

Provenance
dcjmAuthored on May 12 2021, 3:17 PM
Parents
rPOLYMLed789f849841: Fix name change omitted when this was last committed.
Branches
Unknown
Tags
Unknown