~/jendhub

def joined

stelliferous@0.0.2.0 · tensor_file.bend:388

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile
import Base

388def joined(shape: List<&2,U32>) -> String:
389  match shape:
390    case []: ""
391    case [extent]: U32.show(extent)
392    case extent <> rest: U32.show(extent) ++ ", " ++ joined(rest)

Uses (5)

Used by (1)