def eta

bendtorch-core@0.1.0.0 · src/tensor/batched_matmul_PROOF.bend:228

import Base

228def eta(-X: Type, -Y: Type, pair: X & Y) -> {pair == (Pair.fst(X, Y, pair), Pair.snd(X, Y, pair)) : X & Y}:
229  (x, y) = pair
230  {==}