def integer.more

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

import Base

192def integer.more(full: Bool, c: Cursor, +value: U32) -> Maybe<&1, Cursor & U32>:
193  match full:
194    case True{}:
195      integer.done(5n, True{}, c, 0, value)
196    case False{}:
197      Some{(c, value)}