def write_tag.valid

bend-kit-protobuf@0.2.0.0 · protobuf.bend:338

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

338def write_tag.valid(valid: Bool, number: U32, kind: U32, out: B.Bytes, max_size: U32) -> Result<&2, &1, Error, B.Bytes>:
339  match valid:
340    case False{}:
341      Fail{Malformed{}}
342    case True{}:
343      write_varint(Word64{0, ((number << 3n) .|. kind : U32)}, out, max_size)