~/jendhub

type BoundBy

bendtorch-core@0.1.0.0 · src/autograd/reduce_fiber_proof.bend:427

import bendtorch-core@0.1.0.0/src/autograd/reduce_fiber_proof.bend as ReduceFiberProof
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

427# Below a kept row of left stride `left`, every walk of the rows below
428# stays under `left`: the rows are the index rows of an aligned broadcast
429# whose left count is `left` and whose output count is `stride`.
430type BoundBy<-rest: List<&2, Shape.Row>, -left: Nat, -stride: Nat> is Data:
431  BoundBy{lt: List<&2, Nat>, rt: List<&2, Nat>, ot: List<&2, Nat>, aligned: Shape.Aligned(lt, rt, ot),
432    rows: {Shape.index_rows(lt, rt, ot) == rest : List<&2, Shape.Row>},
433    size: {Shape.numel(lt) == left : Nat}, count: {Shape.numel(ot) == stride : Nat}}

Uses (6)

Used by (7)