interface KindUnknownRefinement
implements Kind
import { type KindUnknownRefinement } from "https://deno.land/x/fun@v2.0.0-alpha.12/refinement.ts";
Specifies Refinement<unknown, B> as a Higher Kinded Type, with covariant parameter B corresponding to the 0th index of any substitutions.
Properties
readonly
kind: Refinement<unknown, Out<this, 0>>