Runner.why.code: def of bend-kit-runner@0.13.0.1
Import: import bend-kit-runner@0.13.0.1/runner.bend as Runner
Lines 453-462 of bend-kit-runner@0.13.0.1/runner.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-runner@0.13.0.1/runner.bend&start_line=453&end_line=462

import Base

def why.code(w: Why) -> Nat:
  match w:
    case WhySpent{}:
      0n
    case WhyLate{}:
      1n
    case WhyUnsafe{}:
      2n
    case WhyFailed{}:
      3n

Uses (2):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-kit-runner@0.13.0.1/runner.bend&name=Why