~/jendhub

def successful_binary_mapping

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

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

1063def successful_binary_mapping(+operation: Elementwise.Operation, left: Core.Dynamic, right: Core.Dynamic) ->
1064  Elementwise.BinaryModel<operation, left, right, Elementwise.binary(operation, left, right)>:
1065  Parallel.binary_mapping(operation, left, right)

Uses (5)

Used by (2)