def verb.len

bend-kit-redis@0.3.0.0 · redis.bend:444

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

444# A verbatim string is a 3-byte format, a colon, then the text.
445def verb.len(ok: Bool, +n: U32, +next: U32, stack: List<&1, Frame>, b: Bytes.Bytes) -> Bytes.Bytes & St:
446  match ok:
447    case True{}:
448      verb.colon(n, next, stack, byte(b, (next + 3 : U32)))
449    case False{}:
450      (b, SBad{})