type Step
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwiseimport Base
import bendtorch-core@0.1.0.0/src/shape/core.bend as Shape
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
136type Step<-shape: Shape.Shape> is Type:
137 Continue{state: State<shape>}
138 Stop{left: Core.Dynamic, right: Core.Dynamic, error: Core.Error}
Uses (4)
Used by (40)
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:step_left_owner
- bendtorch-core@0.1.0.0/src/tensor/elementwise_PROOF:step_right_owner
- bendtorch-core@0.1.0.0/src/tensor/elementwise:step
- bendtorch-core@0.1.0.0/src/tensor/elementwise:StepMeaning
- bendtorch-core@0.1.0.0/src/tensor/elementwise:StepCertificate
- …