~/jendhub

def tuple

stelliferous@0.0.2.0 · tensor_file.bend:394

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

394# NumPy writes (), (3,) and (2, 3).
395def tuple(shape: List<&2,U32>) -> String:
396  match shape:
397    case []: "()"
398    case [extent]: "(" ++ U32.show(extent) ++ ",)"
399    case extent <> rest: "(" ++ joined(extent <> rest) ++ ")"

Uses (6)

Used by (1)