MatchCaseMethods

Extension methods of MatchCase

Extension methods of MatchCase

Extensions

Extensions

extension (self: MatchCase)

Pattern P of case P => R in a MatchType

Pattern P of case P => R in a MatchType

RHS R of case P => R in a MatchType

RHS R of case P => R in a MatchType