def Flat.depth

import bend-tensors@0.0.0.2/bend_tensors.bend as BendTensors

import Base

1698def Flat.depth(+n: Nat) -> Nat:
1699  Flat.depth.go(48n, 0n, 1n, n, Nat.is_lt(1n, n))

Uses (3)