~/jendhub

def fits

bend-collections-laws-math@1.0.0.0 · spec/lib/common.bend:59

import bend-collections-laws-math@1.0.0.0/spec/lib/common.bend as Common
import Base

59# n < 2^k
60def fits(+k: Nat, +n: Nat) -> Bool:
61  Nat.is_eq(high(k, n), 0n)

Uses (4)

Used by (603)