def lookup_empty

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

import Base
import bendtorch-core@0.1.0.0/src/tensor/axis_spec.bend as Axis

51def lookup_empty(+index: Nat) -> {Axis.lookup(U32, Nil{}, index) == None{} : Maybe<&2, U32>}:
52  match index:
53    case 0n:
54      {==}
55    case 1n+p:
56      {==}