~/jendhub

type Facts

bendtorch-core@0.1.0.0 · src/autograd/reduce_replayed_proof.bend:708

import bendtorch-core@0.1.0.0/src/autograd/reduce_replayed_proof.bend as ReduceReplayedProof
import Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape

708# What the cells of the build need from the plan: the target is the plan's
709# left shape, with `count` cells, and the contribution is its right shape.
710type Facts<-plan: Shape.BroadcastPlan, -shape: Shape.Shape, -count: Nat> is Data:
711  Facts{count_left: {count == Shape.numel(Shape.extents(Shape.left_shape(plan))) : Nat},
712    right: {Shape.dimensions(Shape.right_shape(plan)) == Shape.dimensions(shape) : List<&2, U32>}}

Uses (10)

Used by (9)