def scalar_cong
bendtorch-core@0.1.0.0 · src/tensor/contracts/binary_proofs.bend:227
import bendtorch-core@0.1.0.0/src/tensor/contracts/binary_proofs.bend as BinaryProofs
import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise
227def scalar_cong(+operation: Elementwise.Operation, -x: F32, -y: F32, -u: F32, -v: F32, ex: {x == y : F32}, eu: {u == v : F32}) ->
228 {Elementwise.scalar(operation, x, u) == Elementwise.scalar(operation, y, v) : F32}:
229 %ex : {Elementwise.scalar(operation, x, u) == Elementwise.scalar(operation, _, v) : F32}
230 %eu : {Elementwise.scalar(operation, x, u) == Elementwise.scalar(operation, x, _) : F32}
231 {==}