let
is_in_set ~set elt =
(
K
.is_null elt
&&
not
Null_Behavior
.zone)
||
Top_Param
.
O
.mem elt set