def ilog

import bend-collections-laws-math@1.0.0.0/src/math/natural.bend as Natural

import Base

270def ilog(+n: Nat, +b: Nat) -> Result<&2, &2, MathError, Nat>:
271  ilog_ok(n, b, Bool.or(Nat.is_eq(n, 0n), Nat.is_lt(b, 2n)))

Uses (7)