import { type TSetIncludes } from "https://dotland.deno.dev/x/typebox@0.33.12/src/type/sets/set.ts";
definition: (T extends [infer L extends PropertyKey, ...infer R extends PropertyKey[]] ? S extends L ? true : TSetIncludes<R, S> : false)
import { type TSetIncludes } from "https://dotland.deno.dev/x/typebox@0.33.12/src/type/sets/set.ts";