type State
import bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise.bend as Pointwiseimport 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
11type State<-shape: Shape.Shape> is Type:
12 State{left: Core.Dynamic, right: Core.Dynamic, output: Core.Tensor<shape>}
Uses (3)
Used by (7)
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise:loop
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise_proof:Shaped
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise:allocated
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise:left_step
- bendtorch-core@0.1.0.0/src/tensor/contracts/pointwise:right_step
- …