type Index

bendtorch-core@0.1.0.0 · src/shape/core.bend:810

import Base

810type Index<-left: List<&2, Nat>, -right: List<&2, Nat>, -output: List<&2, Nat>> is Data:
811  Indexed{rows: List<&2, Row>, exact: {rows == index_table(left, right, output) : List<&2, Row>}}
812  Unindexed{zero: {0n == numel(output) : Nat}}