~/jendhub

def varint.add.low

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

import bend-kit-protobuf@0.2.0.0/protobuf.bend as Protobuf
import Base

76def varint.add.low(fifth: Bool, +i: U32, +v: U32, h: U32, l: U32) -> Word64:
77  match fifth:
78    case False{}:
79      Word64{h, (l .|. (v << U32.to_nat((i * 7 : U32))) : U32)}
80    case True{}:
81      Word64{(h .|. (v >> 4n) : U32), (l .|. (v << 28n) : U32)}

Uses (8)

Used by (1)