/api/dotty/tools/dotc/transform/PatternMatcher/Translator/PatternExpander/
../
Aligned$.html
Aligned.html
Extractor$.html
Extractor.html
NoRepeated$.html
Patterns$.html
Patterns.html
Repeated$.html
Repeated.html
TypedPat$.html
TypedPat.html