numeral rules for take_bit / drop_bit on int
Description
Description
Details
Details
- Provenance
florian.haftmann Authored on - Parents
- rISABELLEfc4f9dad5292: opaque export does not work as expected in presence of dependent instances
- Branches
- Unknown
- Tags