type CursorWitness

import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

import Base

185type CursorWitness<-cursor: Nat, -index: U32> is Data:
186  CursorWitness{-exact: {U32.to_nat(index) == cursor : Nat}}

Uses (3)