type alias StrictEqualsimport { type StrictEquals } from "https://deno.land/x/tsafe@v1.6.3/tools/StrictEquals.ts"; Type ParametersA1A2definition: (<A>() => A extends A2 ? true : false) extends <A>() => A extends A1 ? true : false ? true : false