def with_offset

stelliferous@0.0.2.0 · tensor_layout.bend:149

import Base
import stelliferous@0.0.2.0/tensor_view.bend as Views

149def with_offset(axes: Maybe<&2,List<&2,Views.Axis>>,offset: U32) -> Maybe<&2,Views.View>:
150  match axes:
151    case Some{axes}: Some{Views.View{axes,offset}}
152    case None{}: None{}