type LogicalStep

bendtorch-core@0.1.0.0 · src/tensor/reduction_LAWS.bend:19

import 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

19type LogicalStep<-fuel: Nat, -shape: Shape.Shape, -tensor: Core.Tensor<shape>, -cursor: Nat,
20  -value: F32, -values: List<&2, F32>> is Data:
21  LogicalStep{-exact: {U32.to_nat(U32.from_nat(cursor)) == cursor : Nat},
22    -observed: {Core.checked_observe(shape, tensor, U32.from_nat(cursor)) == Some{value} : Maybe<&2, F32>},
23    -remaining: LogicalValues(fuel, shape, tensor, 1n+cursor, values)}