law scalar_add

bendtorch-core@0.1.0.0 · src/tensor/core_LAWS.bend:38

import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

38law scalar_add:
39  for +left: F32
40  for +right: F32
41  {Elementwise.scalar(Elementwise.Add{}, left, right) == F32.add(left, right) : F32}