def hs.skip

bend-kit-http@0.38.2.0 · http.bend:1261

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

1261def hs.skip(more: Bool, +k: U32, rest: Bytes.Bytes) -> Hs:
1262  match more:
1263    case True{}:
1264      HsSeek{rest, 0, (k + 1 : U32)}
1265    case False{}:
1266      HsBad{}

Uses (5)

Used by (1)