def size.valid

bend-kit-http2@0.4.0.0 · huffman.bend:1138

import Base

1138def size.valid(ok: Bool, +total: U32, +n: U32) -> Maybe<&2, U32>:
1139  match ok:
1140    case True{}:
1141      Some{(total + n : U32)}
1142    case False{}:
1143      None{}