Function identity_contains_n

pub fn identity_contains_n(n: usize, s: impl Into<String>) -> BoxedPredicate

There’re exactly n operators whose identity contains s in the fragment.