type CursorExact

import bendtorch-core@0.1.0.0/src/tensor/transforms.bend as Transforms

import Base

118type CursorExact<-cursor: Nat, -index: U32> is Data:
119  CursorExact{-equal: {U32.to_nat(index) == cursor : Nat}}

Uses (3)