let
is_macro d =
match
d.d_item
with
|
FunctionDef
_
|
PredicateDef
_
->
true
|
_
->
false