def lookup_complete_step

bendtorch-core@0.1.0.0 · src/tensor/axis_algebra.bend:229

import Base

229def lookup_complete_step(-A: Data, -head: A, -tail: List<&2, A>, -index: Nat, rec: Selected<A, tail, index>) -> Selected<A, head <> tail, 1n+index>:
230  match rec:
231    case Selection{item, exact}:
232      Selection{item, exact}