~/jendhub

law binary_retains_inputs

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

import bendtorch-core@0.1.0.0/src/tensor/elementwise_LAWS.bend as ElementwiseLAWS
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

7law binary_retains_inputs:
8  for +operation: Elementwise.Operation
9  for left: Core.Dynamic
10  for right: Core.Dynamic
11  Totality.Retention<left, right, Elementwise.binary(operation, left, right)>

Uses (6)

Used by (0)

No other definition uses this definition.