def Flip

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

import Base
import bend-kit-collections@0.1.4.1/LAWS.bend as Laws

205def Flip(~K: Data, ~cmp: K -> K -> Cmp) -> Type:
206  @x: K -> @y: K -> {cmp(y, x) == Laws.flip(cmp(x, y)) : Cmp}