def pr.checked

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

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

217def pr.checked(r: Bytes.Cursor & Bool, pax: Pax) -> Bytes.Cursor & Pst:
218  (c, ok) = r
219  match ok:
220    case True{}:
221      (c, PGo{pax})
222    case False{}:
223      (c, PBad{})