def decoded

bend-kit-bytes@0.3.3.0 · bytes.bend:667

import Base

667def decoded(+n: U32, r: Array<U32> & Bool) -> Maybe<&1, Bytes>:
668  (a, ok) = r
669  match ok:
670    case True{}:
671      Some{Bytes{n, a}}
672    case False{}:
673      None{}