def no_value

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

import Base

32def no_value(+value: F32, equal: {None{} == Some{value} : Maybe<&2, F32>}) -> Empty:
33  %Equal.sym(Maybe<&2, F32>, None{}, Some{value}, equal) : SomeMatches(value, _)
34  {==}