def extents

stelliferous@0.0.2.0 · tensor_layout.bend:15

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

15def extents(view: Maybe<&2,Views.View>) -> List<&2,U32>:
16  match view:
17    case Some{view}: Views.axis_extents_of(view)
18    case None{}: []