Search
❯
May 24, 20261 min read
pattern { e: M -> N; N [InIdiom]; X[!InIdiom, !Idiom]; X << e }
Discontinuous idiom (node X is in the span but is not included).
X