def Eq

bend-kit-collections@0.1.4.1 · PROOF.bend:211

import Base

211def Eq(~K: Data, ~cmp: K -> K -> Cmp) -> Type:
212  @x: K -> @y: K -> {cmp(x, y) == EQ{} : Cmp} -> {x == y : K}