law scalar_matches_other

bendtorch-core@0.1.0.0 · src/tensor/loss_ops_LAWS.bend:34

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

34law scalar_matches_other:
35  for +left: F32
36  for +right: F32
37  for other: {U32.is_eq(Elementwise.bits(left), Elementwise.bits(right)) == False{} : Bool}
38  {Elementwise.scalar(Elementwise.Matches{}, left, right) == 0.0 : F32}