def name.label

bend-kit-dns@0.7.0.0 · dns.bend:112

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

112# §4.1.4: zero terminates, 192..255 starts a pointer, 64..191 is reserved.
113def name.label(ok: Bool, c: Bytes.Cursor, l: U32) -> Bytes.Cursor & Step:
114  match ok:
115    case False{}:
116      (c, Stop{False{}})
117    case True{}:
118      name.advance(False{}, Bytes.Cursor.skip(c, l))