let
sym_is_bv_bitwise =
function
Bv
(
Bitwise
_)
->
true
|
_
->
false