def decode.other

bend-kit-cbor@0.3.0.0 · cbor.bend:408

import Base

408def decode.other(ok: Bool, +value: U32) -> Maybe<&1, Val>:
409  match ok:
410    case True{}:
411      Some{Sim{Other{value}}}
412    case False{}:
413      None{}