canonical bit shifts for word type, leaving duplicates as they are at the moment
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEac6f9738c200: essential instance about bit structure
- Branches
- Unknown
- Tags