def eta

bendtorch-core@0.1.0.0 · src/tensor/matmul_parallel_proof.bend:184

import Base

184def eta(-X: Type, -Y: Type, pair: X & Y) -> {pair == (Pair.fst(X, Y, pair), Pair.snd(X, Y, pair)) : X & Y}:
185  (x, y) = pair
186  {==}