Consider upgrading the module `mach.bv`
This module seems incomplete and obsolete: does not provide arithmetic operations with intended overflows, and is not using the theory of bitvectors in stdlib/bv.mlw
.
This module seems incomplete and obsolete: does not provide arithmetic operations with intended overflows, and is not using the theory of bitvectors in stdlib/bv.mlw
.