def depth

bend-ml-tensor-gpu@0.1.5.1 · main.bend:356

import bend-ml-tensor-gpu@0.1.5.1/main.bend as BendMlTensorGpu

import Base

356# leaves for n cells: 2^14 when there are that many, else the fewest powers of two that cover them
357def depth(+n: Nat) -> Nat:
358  depth2(Nat.is_le(16384n, n), n)

Uses (3)

Used by (28)