KindContraComparable

import type { KindContraComparable } from "https://github.gh-proxy.cn/raw.githubusercontent.com/baetheus/fun/main/comparable.ts";

Specifies Comparable as a Higher Kinded Type, with contravariant parameter D corresponding to the 0th index of any Substitutions.

interface KindContraComparable extends Kind {

readonly kind: Comparable<In<this, 0>>;

}

§Extends

readonly kind: Comparable<In<this, 0>>