def kbits.of

bend-parallel@0.1.0.0 · histogram.bend:53

import bend-parallel@0.1.0.0/histogram.bend as Histogram

import Base

53def kbits.of(big: Bool, +k: U32) -> Nat:
54  match big:
55    case False{}:
56      0n
57    case True{}:
58      1n+U32.log2((k - 1 : U32))

Uses (5)

Used by (1)

bend-parallel@0.1.0.0/histogram:kbits