fn constrain_paths(
paths: &BTreeSet<BTreeMap<PathPredicate, bool>>,
active: &BTreeMap<PathPredicate, bool>,
) -> BTreeSet<BTreeMap<PathPredicate, bool>>Expand description
Keeps the paths compatible with active, extended by the active predicates.