Cbor.decode.simple: def of bend-kit-cbor@0.3.0.0
Import: import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
Lines 415-426 of bend-kit-cbor@0.3.0.0/cbor.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&start_line=415&end_line=426

import Base

def decode.simple(+ai: U32) -> Maybe<&1, Val>:
  match ai:
    case 20:
      Some{Sim{SFalse{}}}
    case 21:
      Some{Sim{STrue{}}}
    case 22:
      Some{Sim{SNull{}}}
    case 23:
      Some{Sim{SUndefined{}}}
    case _:
      decode.other(U32.is_lt(ai, 20), ai)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Con
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Word.Nil
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=Simple
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=Val
  https://jend.leeeet.dev/definition.txt?path=bend-kit-cbor@0.3.0.0/cbor.bend&name=decode.other