def some_injective

bendtorch-core@0.1.0.0 · src/tensor/reduction_PROOF.bend:28

import Base

28def some_injective(+left: F32, +right: F32, equal: {Some{left} == Some{right} : Maybe<&2, F32>}) -> {left == right : F32}:
29  %equal : SomeMatches(left, _)
30  {==}