Forked from
Iris / stdpp
Source project has a limited visibility.
-
Robbert Krebbers authored
and `dom_map_filter_subseteq` → `dom_filter_subseteq` for consistency's sake. This was pointed out by @atrieu in !175 (comment 53746)
Robbert Krebbers authoredand `dom_map_filter_subseteq` → `dom_filter_subseteq` for consistency's sake. This was pointed out by @atrieu in !175 (comment 53746)
