common type class for trivial properties on div/mod
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEafa75b58166a: more robust (amending 1600fb749c54), to support the following corner case:
- Branches
- Unknown
- Tags