import { type TKeyOf } from "https://deno.land/x/openbox@1.1.5/deps.ts";
definition: (T extends TRecursive<infer S> ? TKeyOfProperties<S> : T extends TIntersect ? TKeyOfProperties<T> : T extends TUnion ? TKeyOfProperties<T> : T extends TObject ? TKeyOfProperties<T> : T extends TTuple<infer K> ? TKeyOfIndices<K> : T extends TArray ? [TNumber] : T extends TRecord<infer K> ? [K] : []) extends infer R ? UnionType<AssertRest<R>> : never