Methods of the module objectval Match
Creates a pattern match<scrutinee: Term> match { <cases: List[CaseDef]> }
Creates a pattern match<scrutinee: Term> match { <cases: List[CaseDef]> }
Matches a pattern match<scrutinee: Term> match { <cases: List[CaseDef]> }
Matches a pattern match<scrutinee: Term> match { <cases: List[CaseDef]> }