let
sym_is_unsigned =
function
Bvarith
(
Unsigned
)
->
true
|
_
->
false