let
is_void typ =
match
Cil
.unrollType typ
with
|
TVoid
_
->
true
|
_
->
false