def header
import stelliferous@0.0.2.0/tensor_file.bend as TensorFileimport Base
253def header(+bytes: List<&2,U32>) -> Maybe<&2,Header>:
254 marked(starts(magic(),bytes),bytes)
import stelliferous@0.0.2.0/tensor_file.bend as TensorFileimport Base
253def header(+bytes: List<&2,U32>) -> Maybe<&2,Header>:
254 marked(starts(magic(),bytes),bytes)