def ilog
import bend-collections@1.0.0.0/src/math/natural.bend as Naturalimport 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)
Used by (0)
No other definition uses this definition.