def independent_binary_mapping
bendtorch-core@0.1.0.0 · src/tensor/core_PROOF.bend:1126
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/core_LAWS.bend as Laws
1126def independent_binary_mapping(+operation: Elementwise.Operation, left: Core.Dynamic, right: Core.Dynamic) ->
1127 Laws.IndependentBinaryModel<operation, left, right, Elementwise.binary(operation, left, right)>:
1128 Laws.IndependentBinaryModel{
1129 {\{Laws.IndependentBinaryModel: mapping => mapping} :
1130 Laws.IndependentBinaryModel<operation, left, right, Elementwise.binary(operation, left, right)> ->
1131 Laws.IndependentPlanned(operation, left, right, Elementwise.binary(operation, left, right), Elementwise.plan_for(left, right))}(independent_binary_reasoning(operation, left, right))}