def region

stelliferous@0.0.2.0 · tensor_file.bend:239

import stelliferous@0.0.2.0/tensor_file.bend as TensorFile

import Base

239def region(+bytes: List<&2,U32>,+length: Nat) -> Maybe<&2,Header>:
240  described(List.take(&2,U32,bytes,length),length,List.drop(&2,U32,bytes,length))

Uses (8)

Used by (1)

stelliferous@0.0.2.0/tensor_file:versioned