def kbits

bend-parallel@0.1.0.0 · histogram.bend:60

import Base

60# ceil(log2 K), for K >= 1.
61def kbits(+k: U32) -> Nat:
62  kbits.of(U32.is_lt(1, k), k)