def broadcast_built
import bendtorch-core@0.1.0.0/src/shape/LAWS.bend as LAWSimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
33def broadcast_built(result: Result<&2, &2, Shape.Error, Shape.BroadcastPlan>) -> Bool:
34 match result:
35 case Fail{error}:
36 False{}
37 case Done{plan}:
38 True{}
Uses (4)
Used by (7)
- bendtorch-core@0.1.0.0/src/shape/plan_proofs:broadcast_checked_complete
- bendtorch-core@0.1.0.0/src/autograd/broadcast_PROOF:planned_success
- bendtorch-core@0.1.0.0/src/autograd/reduce_PROOF:planned_success
- bendtorch-core@0.1.0.0/src/shape/plan_proofs:complete_align
- bendtorch-core@0.1.0.0/src/shape/plan_proofs:complete_construct
- …