type alias Refinementimport { type Refinement } from "https://deno.land/x/fun@v2.0.0-alpha.6/refinement.ts"; Type ParametersAB extends Adefinition: (a: A) => a is B