def marked

stelliferous@0.0.2.0 · tensor_file.bend:248

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

248def marked(valid: Bool,+bytes: List<&2,U32>) -> Maybe<&2,Header>:
249  match valid:
250    case False{}: None{}
251    case True{}: versioned(at(bytes,6n),bytes)

Uses (7)

Used by (1)

stelliferous@0.0.2.0/tensor_file:header