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