def query.done

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

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

58def query.done(r: Bytes.Bytes & U32) -> Maybe<&1, Bytes.Bytes>:
59  (b, pos) = r
60  Some{b}

Uses (5)

Used by (1)