~/jendhub

def reset

stelliferous@0.0.2.0 · tensor_cursor.bend:49

import stelliferous@0.0.2.0/tensor_cursor.bend as TensorCursor
import Base

49def reset(~Rest: Data,+extent: Nat,stride: U32,rewind: U32,result: Rest & U32) -> Level<Rest> & U32:
50  (rest,address) = result
51  (Level{Axis{extent,extent,stride,rewind},rest},address)

Uses (6)

Used by (1)