def integer.tail

bend-kit-http2@0.4.0.0 · hpack.bend:509

import Base

509def integer.tail(n: Nat, +value: U32, active: Bool) -> String:
510  match n active:
511    case 0n _:
512      SNil{}
513    case 1n+p False{}:
514      SNil{}
515    case 1n+p True{}:
516      SCon{Chr{((value .&. 127 : U32) .|. Bool.pick(U32, U32.is_ge(value, 128), 128, 0) : U32)},
517        integer.tail(p, (value >> 7n : U32), U32.is_ge(value, 128))}