~/jendhub

type ExpectedValue

bendtorch-core@0.1.0.0 · src/tensor/core_PROOF.bend:396

import bendtorch-core@0.1.0.0/src/tensor/core_PROOF.bend as CorePROOF
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
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

396type ExpectedValue<-operation: Elementwise.Operation, -plan: Shape.BroadcastPlan, -index: U32,
397  -left: Core.Dynamic, -right: Core.Dynamic, -left_value: F32, -right_value: F32> is Data:
398  ExpectedValue{-equal: {Some{Elementwise.scalar(operation, left_value, right_value)} == Elementwise.expected(operation, plan, left, right, index) : Maybe<&2, F32>}}

Uses (8)

Used by (2)