let
is_base_addr t =
match
(stripTermCasts t).term_node
with
|
Tbase_addr
_
->
true
|
_
->
false