org.emmalanguage.ast.Patterns.PatternAPI
Typed patterns (ascriptions).
Creates a type-checked typed pattern.
Must be a valid pattern.
Must be a valid type.
case target: tpe =>
Typed patterns (ascriptions).