Refactoring around the val_[to|of]_* functions
This MR introduces the following changes:
- Simplification of
val_[to|of]_loc
using anEqDecision
instance formbyte
. - Renaming of the
val_[to|of]_int
functions intoval_[to|of]_Z
.
@paulzhu you may need to adapt your code with the latter (this can be easily done with sed
, see the commit message).
Edited by Rodolphe Lepigre