def split

bend-kit-scheduler@0.4.1.0 · queue_proof.bend:8

import Base

8def split(-P: Bool -> Type, b: Bool, yes: {b == True{} : Bool} -> P(True{}), no: {b == False{} : Bool} -> P(False{})) -> P(b):
9  match b:
10    case True{}:
11      yes({==})
12    case False{}:
13      no({==})