let
is_isotropic v =
match
v
with
|
Top
_
->
true
|
Map
_
->
is_topint v
||
is_bottom v
||
is_zero v