let
is_open=
function
Open_inter
_
->
true
|
_
->
false