def split

bend-kit-collections@0.1.4.1 · PROOF.bend:556

import Base

556def split(
557  -P: Cmp -> Type, c: Cmp, hl: {c == LT{} : Cmp} -> P(LT{}),
558  he: {c == EQ{} : Cmp} -> P(EQ{}), hg: {c == GT{} : Cmp} -> P(GT{})
559) -> P(c):
560  match c:
561    case LT{}:
562      hl({==})
563    case EQ{}:
564      he({==})
565    case GT{}:
566      hg({==})