ordo
ordo copied to clipboard
Add or~ish pattern matching in record
Instead of
match x with
| { case = CaseA }
| { case = CaseC } -> 0
Something like
match x with
| { case = CaseA | CaseC } -> 0
Instead of
match x with
| { case = CaseA }
| { case = CaseC } -> 0
Something like
match x with
| { case = CaseA | CaseC } -> 0