def depth

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

222def depth(+n: Nat) -> Nat:
223  depth_go(32n, U32.is_le(U32.from_nat(n), 1), U32.from_nat(n), 1, 0n)

Uses (4)