bendtorch@1.3.0.0 · tensor.bend:683
import bendtorch@1.3.0.0/tensor.bend as Tensor
import Base 683def u(+n: Nat) -> U32: 684 U32.from_nat(n)