def VecT.depth

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

import Base

1202def VecT.depth(+m: Nat) -> Nat:
1203  VecT.depth.go(m, 0n, 4n, m, Nat.is_lt(4n, m))

Uses (3)