def done.top

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

import bend-kit-cbor@0.3.0.0/cbor.bend as Cbor
import Base

746def done.top(end: Bool, v: Val) -> St:
747  match end:
748    case True{}:
749      SOk{v}
750    case False{}:
751      SFail{}

Uses (3)

Used by (1)