def fits
import bend-collections@1.0.0.0/spec/lib/common.bend as Commonimport Base
59# n < 2^k
60def fits(+k: Nat, +n: Nat) -> Bool:
61 Nat.is_eq(high(k, n), 0n)
import bend-collections@1.0.0.0/spec/lib/common.bend as Commonimport Base
59# n < 2^k
60def fits(+k: Nat, +n: Nat) -> Bool:
61 Nat.is_eq(high(k, n), 0n)