def half

import bend-ml-tensor-array@0.1.19.0/main.bend as BendMlTensorArray

import Base

1504def half(n: Nat) -> Nat:
1505  half.go(n, 0n)

Uses (2)