Define bitwise operators on integers
Define the bitwise operators on integers such as land
, lor
, ... Actually, it seems that the Coq definitions Z.land
, ... correspond to what we need.
Edited by Guillaume Claret
Define the bitwise operators on integers such as land
, lor
, ... Actually, it seems that the Coq definitions Z.land
, ... correspond to what we need.