law binary_valid_success

bendtorch-core@0.1.0.0 · src/tensor/elementwise_LAWS.bend:21

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_totality.bend as Totality

21law binary_valid_success:
22  for +operation: Elementwise.Operation
23  for left: Core.Dynamic
24  for right: Core.Dynamic
25  for +output: List<&2, U32>
26  for +compatible: Totality.Compatible<left, right, output>
27  Totality.Success<Elementwise.binary(operation, left, right)>