let
in_dom k (m, s, d_opt) =
M
.mem k m
||
(
S
.mem k s
&&
d_opt <>
None
)