type alias Notimport { type Not } from "https://deno.land/x/tsafe@v1.6.5/Not.ts"; https://docs.tsafe.dev/main/not Type ParametersB extends booleandefinition: B extends true ? false : true