~/jendhub

def rd.why

bend-kit-runner@0.13.0.1 · runner.bend:768

import bend-kit-runner@0.13.0.1/runner.bend as Runner
import Base

768def rd.why(+c: U32) -> Dec(Why):
769  Bool.pick(Dec(Why), U32.is_eq(c, 0), Dec.pure(Why, WhySpent{}),
770  Bool.pick(Dec(Why), U32.is_eq(c, 1), Dec.pure(Why, WhyLate{}),
771  Bool.pick(Dec(Why), U32.is_eq(c, 2), Dec.pure(Why, WhyUnsafe{}),
772  Bool.pick(Dec(Why), U32.is_eq(c, 3), Dec.pure(Why, WhyFailed{}), Dec.fail(Why)))))

Uses (7)

Used by (1)