def end.sum

bend-kit-tar@0.3.0.0 · tar.bend:510

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

510def end.sum(pax: Pax, acc: List<&1, Entry>, r: Bytes.Cursor & Maybe<&2, U32>) -> Bytes.Cursor & St:
511  (c, m) = r
512  match m:
513    case Some{+sum}:
514      (c, end.of(U32.is_eq(sum, 0), pax, acc))
515    case None{}:
516      (c, SFail{})

Uses (11)

Used by (1)