def next_same

bendtorch-core@0.1.0.0 · src/autograd/reduce_parallel_proof.bend:547

import Base
import bendtorch-core@0.1.0.0/src/tensor/parallel_proofs.bend as Generic
import bendtorch-core@0.1.0.0/src/autograd/reduce.bend as Reduce

547# Two closures equal on every argument continue a pair alike.
548def next_same(-fast: F32 -> Array<F32> -> F32 & Array<F32>, -slow: F32 -> Array<F32> -> F32 & Array<F32>,
549  same: @value: F32 -> @array: Array<F32> -> Generic.Fact<{fast(value, array) == slow(value, array) : F32 & Array<F32>}>,
550  pair: F32 & Array<F32>) -> Generic.Fact<{Reduce.walk_next(fast, pair) == Reduce.walk_next(slow, pair) : F32 & Array<F32>}>:
551  match pair:
552    case Tuple{value, array}:
553      same(value, array)