def why.code

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

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

import Base

453def why.code(w: Why) -> Nat:
454  match w:
455    case WhySpent{}:
456      0n
457    case WhyLate{}:
458      1n
459    case WhyUnsafe{}:
460      2n
461    case WhyFailed{}:
462      3n

Uses (2)

Used by (2)