~/jendhub

def typed

stelliferous@0.0.2.0 · tensor_file.bend:229

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

229def typed(supported: Bool,text: Maybe<&2,List<&2,U32>>,data: List<&2,U32>) -> Maybe<&2,Header>:
230  match supported text:
231    case False{} text: None{}
232    case True{} None{}: None{}
233    case True{} Some{text}: shaped(extents(text,0,False{},True{},[]),data)

Uses (7)

Used by (1)