def SomeMatches

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

import Base

21def SomeMatches(-value: F32, result: Maybe<&2, F32>) -> Data:
22  match result:
23    case None{}:
24      Empty
25    case Some{other}:
26      {value == other : F32}