~/jendhub

def depth

bend-ml-tensor-fork@0.1.6.0 · main.bend:124

import bend-ml-tensor-fork@0.1.6.0/main.bend as BendMlTensorFork
import Base

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

Uses (4)

Used by (10)