def gz.zero

bend-kit-zlib@0.5.1.0 · zlib.bend:578

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

578def gz.zero(r: Bytes.Bytes & Maybe<&2, U32>) -> Bytes.Bytes & Maybe<&2, U32>:
579  (b, m) = r
580  match m:
581    case None{}:
582      (b, None{})
583    case Some{+i}:
584      (b, Some{(i + 1 : U32)})