Extension methods of MatchCase
MatchCase
Pattern P of case P => R in a MatchType
P
case P => R
MatchType
RHS R of case P => R in a MatchType
R