def keep_equal
import bendtorch-core@0.1.0.0/src/autograd/reduce_parallel_proof.bend as ReduceParallelProofimport Base
import bendtorch-core@0.1.0.0/src/autograd/reduce.bend as Reduce
639def keep_equal(pair: F32 & Array<F32>, -none: Unit) ->
640 {Reduce.keep(pair, none) == (Pair.fst(F32, Array<F32>, pair), (Pair.snd(F32, Array<F32>, pair), none)) : F32 & (Array<F32> & Unit)}:
641 (value, array) = pair
642 {==}