~/jendhub

def rank

bendtorch@1.3.0.0 · tensor.bend:303

import bendtorch@1.3.0.0/tensor.bend as Tensor
import Base

303def rank(+s: List<&2, Nat>) -> Nat:
304  List.length(&2, Nat, s)

Uses (3)

Used by (8)