~/jendhub

def show_extents

stelliferous@0.0.2.0 · tensor.bend:554

import stelliferous@0.0.2.0/tensor.bend as Tensor
import Base

554def show_extents(extents: List<&2,U32>) -> String:
555  match extents:
556    case []: ""
557    case [extent]: U32.show(extent)
558    case extent <> rest: String.append(U32.show(extent),String.append(", ",show_extents(rest)))

Uses (5)

Used by (1)