inferred-types 0.53.12 → 0.54.0

package/modules/types/dist/index.d.ts

@@ -5530,6 +5530,18 @@ declare const WALGREENS_DNS: readonly ["www.walgreens.com"];
 declare const CVS_DNS: readonly ["www.cvs.com"];
 declare const WHOLE_FOODS_DNS: readonly ["www.wholefoodsmarket.com", "www.wholefoodsmarket.co.uk"];
 
+declare const SIMPLE_DICT_VALUES: readonly ["string", "number", "boolean", "unknown", "Opt<string>", "Opt<number>", "Opt<boolean>", "Opt<unknown>"];
+declare const SIMPLE_SET_TYPES: readonly ["string", "number", "boolean", "unknown", "Opt<string>", "Opt<number>", "Opt<boolean>", "Opt<unknown>"];
+declare const SIMPLE_SCALAR_TOKENS: readonly ["string", "number", `string(${string})`, `number(${number})` | `number(${number},${string})`, "boolean", "true", "false", "null", "undefined", "unknown", "any", "never"];
+declare const SIMPLE_OPT_SCALAR_TOKENS: readonly ["Opt<string>", "Opt<number>", "Opt<boolean>", "Opt<true>", "Opt<false>", "Opt<null>", "Opt<undefined>", "Opt<unknown>", "Opt<any>", `Opt<string(${string})>` | `Opt<string(${string},${string})>`, `Opt<number(${number})` | `Opt<number(${number},${string})`, "Opt<undefined>"];
+declare const SIMPLE_UNION_TOKENS: readonly [`union(${string})` | `union(${string},${string})`];
+declare const SIMPLE_MAP_KEYS: readonly ["string", "number", "Dict", "Dict<string, string>", "Dict<string, number>", "Dict<string, boolean>", "Dict<string, unknown>", "Dict<string, Opt<string>>", "Dict<string, Opt<number>>", "Dict<string, Opt<boolean>>"];
+declare const SIMPLE_MAP_VALUES: readonly ["string", "number", "Dict", "Dict<string, string>", "Dict<string, number>", "Dict<string, boolean>", "Dict<string, unknown>", "Dict<string, Opt<string>>", "Dict<string, Opt<number>>", "Dict<string, Opt<boolean>>", "boolean", "unknown", "undefined", "Dict", "Array", "Dict<string, Opt<string>>", "Dict<string, Opt<number>>", "Dict<string, Opt<boolean>>", "Dict<string, Opt<unknown>>"];
+declare const SIMPLE_DICT_TOKENS: readonly ["Dict", "Dict<string, string>", "Dict<string, number>", "Dict<string, boolean>", "Dict<string, unknown>", "Dict<string, Opt<string>>", "Dict<string, Opt<number>>", "Dict<string, Opt<boolean>>", "Dict<string, Opt<unknown>>", `Dict<{${string}: string}>` | `Dict<{${string}: number}>` | `Dict<{${string}: boolean}>` | `Dict<{${string}: undefined}>` | `Dict<{${string}: never}>` | `Dict<{${string}: unknown}>` | `Dict<{${string}: null}>` | `Dict<{${string}: Opt<string>}>` | `Dict<{${string}: Opt<number>}>` | `Dict<{${string}: Opt<boolean>}>` | `Dict<{${string}: Opt<unknown>}>` | `Dict<{${string}: string(${string})}>` | `Dict<{${string}: number(${number})}>` | `Dict<{${string}: number(${number},${string})}>` | `Dict<{${string}: true}>` | `Dict<{${string}: false}>` | `Dict<{${string}: any}>` | `Dict<{${string}: Opt<true>}>` | `Dict<{${string}: Opt<false>}>` | `Dict<{${string}: Opt<null>}>` | `Dict<{${string}: Opt<undefined>}>` | `Dict<{${string}: Opt<any>}>` | `Dict<{${string}: Opt<string(${string})>}>` | `Dict<{${string}: Opt<string(${string},${string})>}>` | `Dict<{${string}: Opt<number(${number})}>` | `Dict<{${string}: Opt<number(${number},${string})}>`, `Dict<{${string}: string, ${string}: ${string}}` | `Dict<{${string}: number, ${string}: ${string}}` | `Dict<{${string}: boolean, ${string}: ${string}}` | `Dict<{${string}: undefined, ${string}: ${string}}` | `Dict<{${string}: never, ${string}: ${string}}` | `Dict<{${string}: unknown, ${string}: ${string}}` | `Dict<{${string}: null, ${string}: ${string}}` | `Dict<{${string}: Opt<string>, ${string}: ${string}}` | `Dict<{${string}: Opt<number>, ${string}: ${string}}` | `Dict<{${string}: Opt<boolean>, ${string}: ${string}}` | `Dict<{${string}: Opt<unknown>, ${string}: ${string}}` | `Dict<{${string}: string(${string}), ${string}: ${string}}` | `Dict<{${string}: number(${number}), ${string}: ${string}}` | `Dict<{${string}: number(${number},${string}), ${string}: ${string}}` | `Dict<{${string}: true, ${string}: ${string}}` | `Dict<{${string}: false, ${string}: ${string}}` | `Dict<{${string}: any, ${string}: ${string}}` | `Dict<{${string}: Opt<true>, ${string}: ${string}}` | `Dict<{${string}: Opt<false>, ${string}: ${string}}` | `Dict<{${string}: Opt<null>, ${string}: ${string}}` | `Dict<{${string}: Opt<undefined>, ${string}: ${string}}` | `Dict<{${string}: Opt<any>, ${string}: ${string}}` | `Dict<{${string}: Opt<string(${string})>, ${string}: ${string}}` | `Dict<{${string}: Opt<string(${string},${string})>, ${string}: ${string}}` | `Dict<{${string}: Opt<number(${number}), ${string}: ${string}}` | `Dict<{${string}: Opt<number(${number},${string}), ${string}: ${string}}`];
+declare const SIMPLE_ARRAY_TOKENS: readonly ["Array", "Array<string>", `Array<string(${string})>`, "Array<number>", `Array<number(${number})>` | `Array<number(${number},${string})>`, "Array<boolean>", "Array<unknown>", "Array<Dict>", "Array<Set>", "Array<Map>"];
+declare const SIMPLE_MAP_TOKENS: readonly ["Map", "Map<string, string>" | "Map<string, number>" | "Map<string, boolean>" | "Map<string, undefined>" | "Map<string, unknown>" | "Map<string, Dict>" | "Map<string, Dict<string, string>>" | "Map<string, Dict<string, number>>" | "Map<string, Dict<string, boolean>>" | "Map<string, Dict<string, unknown>>" | "Map<string, Dict<string, Opt<string>>>" | "Map<string, Dict<string, Opt<number>>>" | "Map<string, Dict<string, Opt<boolean>>>" | "Map<string, Array>" | "Map<string, Dict<string, Opt<unknown>>>" | "Map<number, string>" | "Map<number, number>" | "Map<number, boolean>" | "Map<number, undefined>" | "Map<number, unknown>" | "Map<number, Dict>" | "Map<number, Dict<string, string>>" | "Map<number, Dict<string, number>>" | "Map<number, Dict<string, boolean>>" | "Map<number, Dict<string, unknown>>" | "Map<number, Dict<string, Opt<string>>>" | "Map<number, Dict<string, Opt<number>>>" | "Map<number, Dict<string, Opt<boolean>>>" | "Map<number, Array>" | "Map<number, Dict<string, Opt<unknown>>>" | "Map<Dict, string>" | "Map<Dict, number>" | "Map<Dict, boolean>" | "Map<Dict, undefined>" | "Map<Dict, unknown>" | "Map<Dict, Dict>" | "Map<Dict, Dict<string, string>>" | "Map<Dict, Dict<string, number>>" | "Map<Dict, Dict<string, boolean>>" | "Map<Dict, Dict<string, unknown>>" | "Map<Dict, Dict<string, Opt<string>>>" | "Map<Dict, Dict<string, Opt<number>>>" | "Map<Dict, Dict<string, Opt<boolean>>>" | "Map<Dict, Array>" | "Map<Dict, Dict<string, Opt<unknown>>>" | "Map<Dict<string, string>, string>" | "Map<Dict<string, string>, number>" | "Map<Dict<string, string>, boolean>" | "Map<Dict<string, string>, undefined>" | "Map<Dict<string, string>, unknown>" | "Map<Dict<string, string>, Dict>" | "Map<Dict<string, string>, Dict<string, string>>" | "Map<Dict<string, string>, Dict<string, number>>" | "Map<Dict<string, string>, Dict<string, boolean>>" | "Map<Dict<string, string>, Dict<string, unknown>>" | "Map<Dict<string, string>, Dict<string, Opt<string>>>" | "Map<Dict<string, string>, Dict<string, Opt<number>>>" | "Map<Dict<string, string>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, string>, Array>" | "Map<Dict<string, string>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, number>, string>" | "Map<Dict<string, number>, number>" | "Map<Dict<string, number>, boolean>" | "Map<Dict<string, number>, undefined>" | "Map<Dict<string, number>, unknown>" | "Map<Dict<string, number>, Dict>" | "Map<Dict<string, number>, Dict<string, string>>" | "Map<Dict<string, number>, Dict<string, number>>" | "Map<Dict<string, number>, Dict<string, boolean>>" | "Map<Dict<string, number>, Dict<string, unknown>>" | "Map<Dict<string, number>, Dict<string, Opt<string>>>" | "Map<Dict<string, number>, Dict<string, Opt<number>>>" | "Map<Dict<string, number>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, number>, Array>" | "Map<Dict<string, number>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, boolean>, string>" | "Map<Dict<string, boolean>, number>" | "Map<Dict<string, boolean>, boolean>" | "Map<Dict<string, boolean>, undefined>" | "Map<Dict<string, boolean>, unknown>" | "Map<Dict<string, boolean>, Dict>" | "Map<Dict<string, boolean>, Dict<string, string>>" | "Map<Dict<string, boolean>, Dict<string, number>>" | "Map<Dict<string, boolean>, Dict<string, boolean>>" | "Map<Dict<string, boolean>, Dict<string, unknown>>" | "Map<Dict<string, boolean>, Dict<string, Opt<string>>>" | "Map<Dict<string, boolean>, Dict<string, Opt<number>>>" | "Map<Dict<string, boolean>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, boolean>, Array>" | "Map<Dict<string, boolean>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, unknown>, string>" | "Map<Dict<string, unknown>, number>" | "Map<Dict<string, unknown>, boolean>" | "Map<Dict<string, unknown>, undefined>" | "Map<Dict<string, unknown>, unknown>" | "Map<Dict<string, unknown>, Dict>" | "Map<Dict<string, unknown>, Dict<string, string>>" | "Map<Dict<string, unknown>, Dict<string, number>>" | "Map<Dict<string, unknown>, Dict<string, boolean>>" | "Map<Dict<string, unknown>, Dict<string, unknown>>" | "Map<Dict<string, unknown>, Dict<string, Opt<string>>>" | "Map<Dict<string, unknown>, Dict<string, Opt<number>>>" | "Map<Dict<string, unknown>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, unknown>, Array>" | "Map<Dict<string, unknown>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, Opt<string>>, string>" | "Map<Dict<string, Opt<string>>, number>" | "Map<Dict<string, Opt<string>>, boolean>" | "Map<Dict<string, Opt<string>>, undefined>" | "Map<Dict<string, Opt<string>>, unknown>" | "Map<Dict<string, Opt<string>>, Dict>" | "Map<Dict<string, Opt<string>>, Dict<string, string>>" | "Map<Dict<string, Opt<string>>, Dict<string, number>>" | "Map<Dict<string, Opt<string>>, Dict<string, boolean>>" | "Map<Dict<string, Opt<string>>, Dict<string, unknown>>" | "Map<Dict<string, Opt<string>>, Dict<string, Opt<string>>>" | "Map<Dict<string, Opt<string>>, Dict<string, Opt<number>>>" | "Map<Dict<string, Opt<string>>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, Opt<string>>, Array>" | "Map<Dict<string, Opt<string>>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, Opt<number>>, string>" | "Map<Dict<string, Opt<number>>, number>" | "Map<Dict<string, Opt<number>>, boolean>" | "Map<Dict<string, Opt<number>>, undefined>" | "Map<Dict<string, Opt<number>>, unknown>" | "Map<Dict<string, Opt<number>>, Dict>" | "Map<Dict<string, Opt<number>>, Dict<string, string>>" | "Map<Dict<string, Opt<number>>, Dict<string, number>>" | "Map<Dict<string, Opt<number>>, Dict<string, boolean>>" | "Map<Dict<string, Opt<number>>, Dict<string, unknown>>" | "Map<Dict<string, Opt<number>>, Dict<string, Opt<string>>>" | "Map<Dict<string, Opt<number>>, Dict<string, Opt<number>>>" | "Map<Dict<string, Opt<number>>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, Opt<number>>, Array>" | "Map<Dict<string, Opt<number>>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, Opt<boolean>>, string>" | "Map<Dict<string, Opt<boolean>>, number>" | "Map<Dict<string, Opt<boolean>>, boolean>" | "Map<Dict<string, Opt<boolean>>, undefined>" | "Map<Dict<string, Opt<boolean>>, unknown>" | "Map<Dict<string, Opt<boolean>>, Dict>" | "Map<Dict<string, Opt<boolean>>, Dict<string, string>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, number>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, boolean>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, unknown>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, Opt<string>>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, Opt<number>>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, Opt<boolean>>, Array>" | "Map<Dict<string, Opt<boolean>>, Dict<string, Opt<unknown>>>", "WeakMap"];
+declare const SIMPLE_SET_TOKENS: readonly ["Set", "Set<string>" | "Set<number>" | "Set<boolean>" | "Set<unknown>" | "Set<Opt<string>>" | "Set<Opt<number>>" | "Set<Opt<boolean>>" | "Set<Opt<unknown>>"];
+
 /**
  * Singular nouns typically end in the characters represented by this array.
  *
@@ -5763,40 +5775,34 @@ declare const WIDE_TYPE_KINDS: readonly ["string", "number", "boolean"];
 declare const NARROW_CONTAINER_TYPE_KINDS: readonly ["object", "explicitFunctions", "fnType", "fnWithDict", "tuple", "union", "intersection", "arrayOf"];
 declare const WIDE_CONTAINER_TYPE_KINDS: readonly ["anyArray", "anyObject", "unknownObject", "anyFunction", "emptyObject"];
 
-declare const SIMPLE_DICT_VALUES: readonly ["string", "number", "boolean", "unknown", "Opt<string>", "Opt<number>", "Opt<boolean>", "Opt<unknown>"];
-declare const SIMPLE_SET_TYPES: readonly ["string", "number", "boolean", "unknown", "Opt<string>", "Opt<number>", "Opt<boolean>", "Opt<unknown>"];
-declare const SIMPLE_SCALAR_TOKENS: readonly ["string", "number", `string(${string})`, `number(${number})` | `number(${number},${string})`, "boolean", "true", "false", "null", "undefined", "unknown", "any", "never"];
-declare const SIMPLE_OPT_SCALAR_TOKENS: readonly ["Opt<string>", "Opt<number>", "Opt<boolean>", "Opt<true>", "Opt<false>", "Opt<null>", "Opt<undefined>", "Opt<unknown>", "Opt<any>", `Opt<string(${string})>` | `Opt<string(${string},${string})>`, `Opt<number(${number})` | `Opt<number(${number},${string})`, "Opt<undefined>"];
-declare const SIMPLE_UNION_TOKENS: readonly [`union(${string})` | `union(${string},${string})`];
-declare const SIMPLE_MAP_KEYS: readonly ["string", "number", "Dict", "Dict<string, string>", "Dict<string, number>", "Dict<string, boolean>", "Dict<string, unknown>", "Dict<string, Opt<string>>", "Dict<string, Opt<number>>", "Dict<string, Opt<boolean>>"];
-declare const SIMPLE_MAP_VALUES: readonly ["string", "number", "Dict", "Dict<string, string>", "Dict<string, number>", "Dict<string, boolean>", "Dict<string, unknown>", "Dict<string, Opt<string>>", "Dict<string, Opt<number>>", "Dict<string, Opt<boolean>>", "boolean", "unknown", "undefined", "Dict", "Array", "Dict<string, Opt<string>>", "Dict<string, Opt<number>>", "Dict<string, Opt<boolean>>", "Dict<string, Opt<unknown>>"];
-declare const SIMPLE_DICT_TOKENS: readonly ["Dict", "Dict<string, string>", "Dict<string, number>", "Dict<string, boolean>", "Dict<string, unknown>", "Dict<string, Opt<string>>", "Dict<string, Opt<number>>", "Dict<string, Opt<boolean>>", "Dict<string, Opt<unknown>>", `Dict<{${string}: string}>` | `Dict<{${string}: number}>` | `Dict<{${string}: boolean}>` | `Dict<{${string}: undefined}>` | `Dict<{${string}: never}>` | `Dict<{${string}: unknown}>` | `Dict<{${string}: null}>` | `Dict<{${string}: true}>` | `Dict<{${string}: false}>` | `Dict<{${string}: Opt<string>}>` | `Dict<{${string}: Opt<number>}>` | `Dict<{${string}: Opt<boolean>}>` | `Dict<{${string}: Opt<unknown>}>` | `Dict<{${string}: string(${string})}>` | `Dict<{${string}: number(${number})}>` | `Dict<{${string}: number(${number},${string})}>` | `Dict<{${string}: any}>` | `Dict<{${string}: Opt<true>}>` | `Dict<{${string}: Opt<false>}>` | `Dict<{${string}: Opt<null>}>` | `Dict<{${string}: Opt<undefined>}>` | `Dict<{${string}: Opt<any>}>` | `Dict<{${string}: Opt<string(${string})>}>` | `Dict<{${string}: Opt<string(${string},${string})>}>` | `Dict<{${string}: Opt<number(${number})}>` | `Dict<{${string}: Opt<number(${number},${string})}>`, `Dict<{${string}: string, ${string}: ${string}}` | `Dict<{${string}: number, ${string}: ${string}}` | `Dict<{${string}: boolean, ${string}: ${string}}` | `Dict<{${string}: undefined, ${string}: ${string}}` | `Dict<{${string}: never, ${string}: ${string}}` | `Dict<{${string}: unknown, ${string}: ${string}}` | `Dict<{${string}: null, ${string}: ${string}}` | `Dict<{${string}: true, ${string}: ${string}}` | `Dict<{${string}: false, ${string}: ${string}}` | `Dict<{${string}: Opt<string>, ${string}: ${string}}` | `Dict<{${string}: Opt<number>, ${string}: ${string}}` | `Dict<{${string}: Opt<boolean>, ${string}: ${string}}` | `Dict<{${string}: Opt<unknown>, ${string}: ${string}}` | `Dict<{${string}: string(${string}), ${string}: ${string}}` | `Dict<{${string}: number(${number}), ${string}: ${string}}` | `Dict<{${string}: number(${number},${string}), ${string}: ${string}}` | `Dict<{${string}: any, ${string}: ${string}}` | `Dict<{${string}: Opt<true>, ${string}: ${string}}` | `Dict<{${string}: Opt<false>, ${string}: ${string}}` | `Dict<{${string}: Opt<null>, ${string}: ${string}}` | `Dict<{${string}: Opt<undefined>, ${string}: ${string}}` | `Dict<{${string}: Opt<any>, ${string}: ${string}}` | `Dict<{${string}: Opt<string(${string})>, ${string}: ${string}}` | `Dict<{${string}: Opt<string(${string},${string})>, ${string}: ${string}}` | `Dict<{${string}: Opt<number(${number}), ${string}: ${string}}` | `Dict<{${string}: Opt<number(${number},${string}), ${string}: ${string}}`];
-declare const SIMPLE_ARRAY_TOKENS: readonly ["Array", "Array<string>", `Array<string(${string})>`, "Array<number>", `Array<number(${number})>` | `Array<number(${number},${string})>`, "Array<boolean>", "Array<unknown>", "Array<Dict>", "Array<Set>", "Array<Map>"];
-declare const SIMPLE_MAP_TOKENS: readonly ["Map", "Map<string, string>" | "Map<string, number>" | "Map<string, boolean>" | "Map<string, undefined>" | "Map<string, unknown>" | "Map<string, Dict>" | "Map<string, Dict<string, string>>" | "Map<string, Dict<string, number>>" | "Map<string, Dict<string, boolean>>" | "Map<string, Dict<string, unknown>>" | "Map<string, Dict<string, Opt<string>>>" | "Map<string, Dict<string, Opt<number>>>" | "Map<string, Dict<string, Opt<boolean>>>" | "Map<string, Array>" | "Map<string, Dict<string, Opt<unknown>>>" | "Map<number, string>" | "Map<number, number>" | "Map<number, boolean>" | "Map<number, undefined>" | "Map<number, unknown>" | "Map<number, Dict>" | "Map<number, Dict<string, string>>" | "Map<number, Dict<string, number>>" | "Map<number, Dict<string, boolean>>" | "Map<number, Dict<string, unknown>>" | "Map<number, Dict<string, Opt<string>>>" | "Map<number, Dict<string, Opt<number>>>" | "Map<number, Dict<string, Opt<boolean>>>" | "Map<number, Array>" | "Map<number, Dict<string, Opt<unknown>>>" | "Map<Dict, string>" | "Map<Dict, number>" | "Map<Dict, boolean>" | "Map<Dict, undefined>" | "Map<Dict, unknown>" | "Map<Dict, Dict>" | "Map<Dict, Dict<string, string>>" | "Map<Dict, Dict<string, number>>" | "Map<Dict, Dict<string, boolean>>" | "Map<Dict, Dict<string, unknown>>" | "Map<Dict, Dict<string, Opt<string>>>" | "Map<Dict, Dict<string, Opt<number>>>" | "Map<Dict, Dict<string, Opt<boolean>>>" | "Map<Dict, Array>" | "Map<Dict, Dict<string, Opt<unknown>>>" | "Map<Dict<string, string>, string>" | "Map<Dict<string, string>, number>" | "Map<Dict<string, string>, boolean>" | "Map<Dict<string, string>, undefined>" | "Map<Dict<string, string>, unknown>" | "Map<Dict<string, string>, Dict>" | "Map<Dict<string, string>, Dict<string, string>>" | "Map<Dict<string, string>, Dict<string, number>>" | "Map<Dict<string, string>, Dict<string, boolean>>" | "Map<Dict<string, string>, Dict<string, unknown>>" | "Map<Dict<string, string>, Dict<string, Opt<string>>>" | "Map<Dict<string, string>, Dict<string, Opt<number>>>" | "Map<Dict<string, string>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, string>, Array>" | "Map<Dict<string, string>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, number>, string>" | "Map<Dict<string, number>, number>" | "Map<Dict<string, number>, boolean>" | "Map<Dict<string, number>, undefined>" | "Map<Dict<string, number>, unknown>" | "Map<Dict<string, number>, Dict>" | "Map<Dict<string, number>, Dict<string, string>>" | "Map<Dict<string, number>, Dict<string, number>>" | "Map<Dict<string, number>, Dict<string, boolean>>" | "Map<Dict<string, number>, Dict<string, unknown>>" | "Map<Dict<string, number>, Dict<string, Opt<string>>>" | "Map<Dict<string, number>, Dict<string, Opt<number>>>" | "Map<Dict<string, number>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, number>, Array>" | "Map<Dict<string, number>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, boolean>, string>" | "Map<Dict<string, boolean>, number>" | "Map<Dict<string, boolean>, boolean>" | "Map<Dict<string, boolean>, undefined>" | "Map<Dict<string, boolean>, unknown>" | "Map<Dict<string, boolean>, Dict>" | "Map<Dict<string, boolean>, Dict<string, string>>" | "Map<Dict<string, boolean>, Dict<string, number>>" | "Map<Dict<string, boolean>, Dict<string, boolean>>" | "Map<Dict<string, boolean>, Dict<string, unknown>>" | "Map<Dict<string, boolean>, Dict<string, Opt<string>>>" | "Map<Dict<string, boolean>, Dict<string, Opt<number>>>" | "Map<Dict<string, boolean>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, boolean>, Array>" | "Map<Dict<string, boolean>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, unknown>, string>" | "Map<Dict<string, unknown>, number>" | "Map<Dict<string, unknown>, boolean>" | "Map<Dict<string, unknown>, undefined>" | "Map<Dict<string, unknown>, unknown>" | "Map<Dict<string, unknown>, Dict>" | "Map<Dict<string, unknown>, Dict<string, string>>" | "Map<Dict<string, unknown>, Dict<string, number>>" | "Map<Dict<string, unknown>, Dict<string, boolean>>" | "Map<Dict<string, unknown>, Dict<string, unknown>>" | "Map<Dict<string, unknown>, Dict<string, Opt<string>>>" | "Map<Dict<string, unknown>, Dict<string, Opt<number>>>" | "Map<Dict<string, unknown>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, unknown>, Array>" | "Map<Dict<string, unknown>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, Opt<string>>, string>" | "Map<Dict<string, Opt<string>>, number>" | "Map<Dict<string, Opt<string>>, boolean>" | "Map<Dict<string, Opt<string>>, undefined>" | "Map<Dict<string, Opt<string>>, unknown>" | "Map<Dict<string, Opt<string>>, Dict>" | "Map<Dict<string, Opt<string>>, Dict<string, string>>" | "Map<Dict<string, Opt<string>>, Dict<string, number>>" | "Map<Dict<string, Opt<string>>, Dict<string, boolean>>" | "Map<Dict<string, Opt<string>>, Dict<string, unknown>>" | "Map<Dict<string, Opt<string>>, Dict<string, Opt<string>>>" | "Map<Dict<string, Opt<string>>, Dict<string, Opt<number>>>" | "Map<Dict<string, Opt<string>>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, Opt<string>>, Array>" | "Map<Dict<string, Opt<string>>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, Opt<number>>, string>" | "Map<Dict<string, Opt<number>>, number>" | "Map<Dict<string, Opt<number>>, boolean>" | "Map<Dict<string, Opt<number>>, undefined>" | "Map<Dict<string, Opt<number>>, unknown>" | "Map<Dict<string, Opt<number>>, Dict>" | "Map<Dict<string, Opt<number>>, Dict<string, string>>" | "Map<Dict<string, Opt<number>>, Dict<string, number>>" | "Map<Dict<string, Opt<number>>, Dict<string, boolean>>" | "Map<Dict<string, Opt<number>>, Dict<string, unknown>>" | "Map<Dict<string, Opt<number>>, Dict<string, Opt<string>>>" | "Map<Dict<string, Opt<number>>, Dict<string, Opt<number>>>" | "Map<Dict<string, Opt<number>>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, Opt<number>>, Array>" | "Map<Dict<string, Opt<number>>, Dict<string, Opt<unknown>>>" | "Map<Dict<string, Opt<boolean>>, string>" | "Map<Dict<string, Opt<boolean>>, number>" | "Map<Dict<string, Opt<boolean>>, boolean>" | "Map<Dict<string, Opt<boolean>>, undefined>" | "Map<Dict<string, Opt<boolean>>, unknown>" | "Map<Dict<string, Opt<boolean>>, Dict>" | "Map<Dict<string, Opt<boolean>>, Dict<string, string>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, number>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, boolean>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, unknown>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, Opt<string>>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, Opt<number>>>" | "Map<Dict<string, Opt<boolean>>, Dict<string, Opt<boolean>>>" | "Map<Dict<string, Opt<boolean>>, Array>" | "Map<Dict<string, Opt<boolean>>, Dict<string, Opt<unknown>>>", "WeakMap"];
-declare const SIMPLE_SET_TOKENS: readonly ["Set", "Set<string>" | "Set<number>" | "Set<boolean>" | "Set<unknown>" | "Set<Opt<string>>" | "Set<Opt<number>>" | "Set<Opt<boolean>>" | "Set<Opt<unknown>>"];
 /**
  * **Type Tokens** which have zero configuration elements.
  */
-declare const TT_Atomics: readonly ["undefined", "null", "boolean", "true", "false"];
+declare const TT_ATOMICS: readonly ["undefined", "null", "boolean", "true", "false"];
 /**
  * **Type Tokens** which have a literal variant which represents
  * the _single_ configuration of this type which is available.
  */
-declare const TT_Singletons: readonly ["string", "number"];
-declare const TT_Sets: readonly ["string-set", "numeric-set", "union-set"];
+declare const TT_SINGLETONS: readonly ["string", "number"];
+declare const TT_SETS: readonly ["string-set", "numeric-set", "fn-set", "union-set"];
 /**
  * **Type Tokens** which represent _functions_ (either the typical
  * variety or Generator functions).
  */
-declare const TT_Functions: readonly ["fn", "gen"];
+declare const TT_FUNCTIONS: readonly ["fn", "gen"];
 /**
  * **Type Tokens** which _contain_ other **Type Tokens** to make up their
  * identity.
  */
-declare const TT_Containers: readonly ["rec", "arr", "set", "map", "union", "obj", "tuple"];
+declare const TT_CONTAINERS: readonly ["rec", "arr", "set", "map", "union", "obj", "tuple"];
 declare const TT_START: "<<";
 declare const TT_STOP: ">>";
-declare const TT_SEP: "::";
+declare const TT_DELIMITER: "::";
+
+declare const TYPE_TOKEN_REC_VARIANTS: readonly ["object-key", "string-key"];
+declare const TYPE_TOKEN_REC_KEY_VARIANTS: readonly ["unknown", "any", "string", "number", "boolean", "truthy", "numberlike", "scalar", "object", "string|undefined", "number|undefined", "boolean|undefined", "object|undefined", "unknown[]", "any[]", "string[]", "number[]", "boolean[]"];
+declare const TYPE_TOKEN_STRING_SET_VARIANTS: readonly ["endsWith::${string}", "startsWith::${string}", "contains::${string}", "civilianTime", "militaryTime", "ipv4Address", "ipv4Address::tight", "ipv4Address::loose", "ipv6Address", "ipv6Address::${string}", "numericString", "zipCode5", "zipCode5+4", "countryCode2", "countryCode3", "countryName", "capitalized", "url", "url::${string}", "isoDate", "isoDateTime", "usStateAbbrev", "usCitySuggestions", "metricCategory", "metric", "metric::${Metric}"];
+declare const TYPE_TOKEN_UNION_SET_VARIANTS: string[];
 
 interface OnPassRemap<TNever = unknown, TFalse = unknown, TError = unknown> {
     never: TNever;
@@ -6233,9 +6239,9 @@ type Process$17<T extends `${number}`> = EnsureLeading<T, "-">;
  */
 type AsNegativeNumber<T extends NumberLike> = T extends Zero ? T : T extends number ? AsNumber<Process$17<`${T}`>> extends number ? AsNumber<Process$17<`${T}`>> : never : T extends `${number}` ? Process$17<T> extends `${number}` ? Process$17<T> : never : never;
 
-type Convert$2<T> = T extends `${number}` ? ToNumber<T> : T;
+type Convert$3<T> = T extends `${number}` ? ToNumber<T> : T;
 type ConvertTuple<T> = T extends unknown[] ? {
-    [K in keyof T]: Convert$2<T[K]>;
+    [K in keyof T]: Convert$3<T[K]>;
 } : never;
 type ConvertUnion$1<T> = If<IsUnion<T>, TupleToUnion<ConvertTuple<UnionToTuple$1<T>>>, never>;
 /**
@@ -6251,7 +6257,7 @@ type ConvertUnion$1<T> = If<IsUnion<T>, TupleToUnion<ConvertTuple<UnionToTuple$1
  * literal values will be converted to a numeric literal but the return type will
  * still be a _union_.
  */
-type AsNumberWhenPossible<T> = If<IsUnion<T>, ConvertUnion$1<T>, T extends readonly unknown[] ? ConvertTuple<T> : Convert$2<T>>;
+type AsNumberWhenPossible<T> = If<IsUnion<T>, ConvertUnion$1<T>, T extends readonly unknown[] ? ConvertTuple<T> : Convert$3<T>>;
 
 /**
  * **AsBoolean**`<T>`
@@ -6934,7 +6940,7 @@ type LowerAllCaps<T extends string> = IsAllCaps<T> extends true ? Lowercase<T> :
  */
 type NamingConvention = "camelCase" | "PascalCase" | "kebab-case" | "snake_case";
 
-type Delimiter = "_" | "-" | " ";
+type Delimiter$1 = "_" | "-" | " ";
 /** convert all delimiters to dashes */
 type DashDelim<T extends string> = T extends `${infer Begin}${" "}${infer Rest}` ? DashDelim<`${Begin}-${Rest}`> : T extends `${infer Begin}${"_"}${infer Rest}` ? DashDelim<`${Begin}-${Rest}`> : T;
 /**
@@ -6947,7 +6953,7 @@ type DashDelim<T extends string> = T extends `${infer Begin}${" "}${infer Rest}`
  * type T = PascalCase<"\n foo_bar \t">;
  * ```
  */
-type PascalCase<S extends string> = string extends S ? string : Trim<DashDelim<LowerAllCaps<S>>> extends `${infer Begin}${Delimiter}${infer Rest}` ? PascalCase<`${Capitalize<Begin>}${Capitalize<Rest>}`> : Capitalize<Trim<LowerAllCaps<S>>>;
+type PascalCase<S extends string> = string extends S ? string : Trim<DashDelim<LowerAllCaps<S>>> extends `${infer Begin}${Delimiter$1}${infer Rest}` ? PascalCase<`${Capitalize<Begin>}${Capitalize<Rest>}`> : Capitalize<Trim<LowerAllCaps<S>>>;
 
 /** convert space to dash */
 type SpaceToDash<T extends string> = T extends `${infer Begin}${" "}${infer Rest}` ? SpaceToDash<`${Begin}-${Rest}`> : T;
@@ -11638,6 +11644,7 @@ type Volume = `${number}${OptSpace}${VolumeUom}`;
  * **Related:** `Uom`
  */
 type Metric = Acceleration | Area | Current | Distance | Frequency | Luminosity | Mass | Power | Pressure | Resistance | Speed | Temperature | TimeMetric | Voltage | Volume;
+type MetricCategory = "Acceleration" | "Area" | "Current" | "Distance" | "Frequency" | "Luminosity" | "Mass" | "Power" | "Pressure" | "Resistance" | "Speed" | "Temperature" | "Time" | "Voltage" | "Volume";
 /**
  * **Uom**
  *
@@ -13047,6 +13054,19 @@ type Push$1<T extends Tuple> = [...T, unknown]["length"];
  */
 type Increment<T extends number | `${number}`> = T extends number ? Push$1<FixedLengthArray<unknown, T>> : T extends `${number}` ? ToString<Increment<AsNumber<T>>> : never;
 
+interface IntegerBrand {
+    __brand: "integer";
+}
+/**
+ * **Integer**
+ *
+ * Represents an integer in the type system while the poor
+ * old runtime just sees a number.
+ *
+ * **Related:** `toInteger()`, `isInteger()`
+ */
+type Integer = number & IntegerBrand;
+
 /**
  * **InvertNumericSign**`<T>`
  *
@@ -13279,10 +13299,10 @@ type StrongMapTransformer<M extends StrongMap> = <T extends readonly StrongMapTy
 }[keyof T];
 
 type ConversionTuple = [from: Narrowable, to: Narrowable];
-type Convert$1<TValue, TConversions extends readonly ConversionTuple[]> = Find<TConversions, "extends", TValue, 0> extends ConversionTuple ? Find<TConversions, "extends", TValue, 0>[1] : TValue;
+type Convert$2<TValue, TConversions extends readonly ConversionTuple[]> = Find<TConversions, "extends", TValue, 0> extends ConversionTuple ? Find<TConversions, "extends", TValue, 0>[1] : TValue;
 type ConvertAcc<TSet extends readonly unknown[], TConversions extends readonly ConversionTuple[], TResults extends readonly unknown[] = []> = [] extends TSet ? TResults : ConvertAcc<AfterFirst<TSet>, TConversions, [
     ...TResults,
-    Convert$1<First<TSet>, TConversions>
+    Convert$2<First<TSet>, TConversions>
 ]>;
 /**
  * **ConvertSet**`<TSet, TConversions>`
@@ -14665,7 +14685,6 @@ type DoneFnTuple<TFns extends {
     ]>;
 };
 
-type HandleObject<TObj extends Dictionary, TKeys extends readonly unknown[], TResult extends Dictionary = EmptyObject> = [] extends TKeys ? ExpandDictionary<TResult> : HandleObject<TObj, AfterFirst<TKeys>, First<TKeys> extends keyof TObj ? TObj[First<TKeys>] extends ShapeCallback ? Record<First<TKeys>, HandleDoneFn<ReturnType<TObj[First<TKeys>]>>> & TResult : TObj[First<TKeys>] extends SimpleToken ? Record<First<TKeys>, AsType<TObj[First<TKeys>]>> & TResult : Record<First<TKeys>, TObj[First<TKeys>]> & TResult : never>;
 type ProcessUnion<T extends UnionElDefn> = T extends Tuple ? TupleToUnion<T> : T extends ShapeCallback ? HandleDoneFn<ReturnType<T>> : never;
 type IterateUnion<T extends readonly UnionElDefn[]> = {
     [K in keyof T]: ProcessUnion<T[K]>;
@@ -14681,7 +14700,7 @@ type IsDictionaryDefinition<T> = T extends Dictionary ? Contains<Values<T>, Shap
 /**
  * converts non-tuple definition types to actual type
  */
-type ToType$1<T, TElse> = [T] extends [ShapeCallback] ? HandleDoneFn<ReturnType<T>> : [IsDictionaryDefinition<T>] extends [true] ? HandleObject<AsDictionary<T>, Keys<AsDictionary<T>>> : T extends SimpleToken ? AsType<T> : IsEqual<TElse, Constant<"not-set">> extends true ? T : TElse extends SimpleToken ? AsType<TElse> : TElse;
+type ToType$1<T, TElse> = T extends ShapeCallback ? FromShapeCallback<T> : T extends SimpleToken ? FromSimpleToken<T> : T extends RecordKeyWideTokens ? FromSimpleRecordKey<T> : T extends WideTokenNames | WideContainerNames ? FromWideTokens<T> : T extends RecordKeyWideTokens ? FromSimpleRecordKey<T> : TElse;
 /**
  * iterates over tuple definition types to convert into real types
  */
@@ -14690,17 +14709,15 @@ type IterateOverDefinitions<T extends readonly unknown[], TElse> = {
 };
 type TypeDefinition = NarrowableScalar | ShapeCallback;
 /**
- * **DictShapeDefn**`<T>`
- *
- * A _dictionary_ shape which provides direct value input or use of
- * the `ShapeCallback` API to any of the dictionaries values.
- *
- * Use of the generic `T` is not required but adding it as a separate
- * generic will increase the narrowness of your types.
+ * converts a `ShapeCallback` into the _type_ which it is defining
+ */
+type FromShapeCallback<TShape extends ShapeCallback, TAsToken extends boolean = false> = TAsToken extends false ? ReturnType<HandleDoneFn<TShape>> : string;
+/**
+ * converts a `SimpleToken` into the _type_ which it is defining
  */
-type DictTypeDefinition<V extends TypeDefinition = TypeDefinition> = Record<ObjectKey, V>;
+type FromSimpleToken<T extends SimpleToken> = SimpleType<T>;
 type _FromDefineObject<T extends Required<DefineObject>> = {
-    [K in keyof T]: T[K] extends SimpleToken ? SimpleType<T[K]> : T[K] extends ShapeCallback ? ReturnType<HandleDoneFn<T[K]>> : never;
+    [K in keyof T]: T[K] extends SimpleToken ? FromSimpleToken<T[K]> : T[K] extends ShapeCallback ? FromShapeCallback<T[K]> : never;
 };
 /**
  * Converts a `DefineObject` definition into the type that it is
@@ -14722,7 +14739,7 @@ type FromDefineObject<T extends DefineObject> = MakeKeysOptional<_FromDefineObje
  * Note: when dictionary objects are found the _values_ will be
  * interrogated for ShapeCallback's.
  */
-type FromDefn<T, TElse = Constant<"not-set">> = T extends DefineObject ? FromDefineObject<T> : T extends readonly unknown[] ? IterateOverDefinitions<T, TElse> : ToType$1<T, TElse>;
+type FromDefn<T, TElse = Unset> = T extends DefineObject ? FromDefineObject<T> : T extends readonly unknown[] ? IterateOverDefinitions<T, TElse> : ToType$1<T, TElse>;
 
 type WideTokenNames = "string" | "number" | "boolean" | "null" | "undefined" | "never" | "unknown" | "string[]" | "number[]" | "boolean[]" | "unknown[]";
 type ConvertWideTokenNames<T extends WideTokenNames> = T extends "string" ? string : T extends "number" ? number : T extends "boolean" ? boolean : T extends "null" ? null : T extends "undefined" ? undefined : T extends "never" ? never : T extends "unknown" ? unknown : T extends "string[]" ? string[] : T extends "number[]" ? number[] : T extends "boolean[]" ? boolean[] : T extends "unknown[]" ? unknown[] : never;
@@ -14910,10 +14927,10 @@ type Recurse<TList extends Tuple, TResults extends Tuple = []> = [] extends TLis
     ...TResults,
     ToNumber<First<TList>>
 ]>;
-type Convert<TList extends Tuple> = Length<TList> extends 0 ? number[] : Recurse<{
+type Convert$1<TList extends Tuple> = Length<TList> extends 0 ? number[] : Recurse<{
     [K in keyof TList]: K;
 }>;
-type Process$p<TList extends Tuple> = If<IsReadonlyArray<TList>, TList["length"] extends 0 ? number[] : Readonly<Convert<TList>>, Convert<TList>>;
+type Process$p<TList extends Tuple> = If<IsReadonlyArray<TList>, TList["length"] extends 0 ? number[] : Readonly<Convert$1<TList>>, Convert$1<TList>>;
 /**
  * **NumericKeys**<`TList`>
  *
@@ -15519,48 +15536,43 @@ type Process$b<TPayload extends readonly Record<ObjectKey, unknown>[], TKeyProp
  */
 type CreateLookup<TPayload extends readonly Record<ObjectKey, unknown>[], TKeyProp extends string, TValProp extends string> = ExpandRecursively<Process$b<TPayload, TKeyProp, TValProp>>;
 
-type SetTypes = typeof SIMPLE_SET_TYPES[number];
-type MapKeys = typeof SIMPLE_MAP_KEYS[number];
-type MapValues = typeof SIMPLE_MAP_VALUES[number];
-type DictValues = typeof SIMPLE_DICT_VALUES[number];
+type StringLiteralVar = "string" | "number" | "boolean" | "Metric" | "OptSpace" | "CountryCode" | "CountryCode2" | "CountryCode3" | "UsState" | "UsStateName" | "Zip5" | "ZipCode";
+type BaseConvert<T extends string> = ReplaceAll<ReplaceAll<ReplaceAll<T, `{{${OptSpace}string${OptSpace}}}`, `${string}`>, `{{${OptSpace}number${OptSpace}}}`, `${number}`>, `{{${OptSpace}boolean${OptSpace}}}`, `${boolean}`>;
+type Convert<T extends string> = ReplaceAll<ReplaceAll<ReplaceAll<ReplaceAll<ReplaceAll<ReplaceAll<ReplaceAll<BaseConvert<T>, `{{${OptSpace}Metric${OptSpace}}}`, `${Metric}`>, `{{${OptSpace}OptSpace${OptSpace}}}`, `${OptSpace}`>, `{{${OptSpace}${"CountryCode" | "CountryCode2"}${OptSpace}}}`, `${Iso3166_1_Alpha2}`>, `{{${OptSpace}CountryCode3${OptSpace}}}`, `${Iso3166_1_Alpha3}`>, `{{${OptSpace}UsState${OptSpace}}}`, `${UsStateAbbrev}`>, `{{${OptSpace}Zip5${OptSpace}}}`, `${Zip5}`>, `{{${OptSpace}ZipCode${OptSpace}}}`, `${ZipCode}`>;
 /**
- * **SimpleTypeScalar**`<T>`
- *
- * Converts a `SimpleScalarToken` into the _type_ it represents.
+ * a string with at least one dynamic property to be converted
+ * with `AsStringLiteral`.
  */
-type SimpleTypeScalar<T extends SimpleScalarToken> = T extends "string" ? string : T extends `string(${infer Literal})` ? Literal extends `${string},${string}` ? CsvToStrUnion<Literal> : Literal : T extends "number" ? number : T extends `number(${infer Literal})` ? Literal extends `${string},${string}` ? CsvToUnion<Literal> : AsNumber<Literal> : T extends "boolean" ? boolean : T extends "true" ? true : T extends "false" ? false : T extends "null" ? null : T extends "any" ? any : T extends "undefined" ? undefined : T extends "unknown" ? unknown : T extends `Opt<${infer Underlying extends SimpleScalarToken}>` ? undefined | SimpleTypeScalar<Underlying> : never;
+type StringLiteralTemplate = `${string}{{${OptSpace}ZipCode${StringLiteralVar}}}${string}`;
 /**
- * **SimpleTypeUnion**`<T>`
+ * **AsStringLiteral**`<T>`
  *
- * Converts a `SimpleUnionToken` into the _type_ it represents.
- */
-type SimpleTypeUnion<T extends SimpleUnionToken> = T extends "opt(string)" ? string | undefined : T extends "opt(number)" ? number | undefined : T extends "opt(boolean)" ? boolean | undefined : T extends "opt(unknown)" ? unknown | undefined : T extends `opt(${infer Literal extends string})` ? Literal extends `${string},${string}` ? TupleToUnion<CsvToTuple<Literal>> | undefined : UnderlyingType<Literal> | undefined : T extends `Union(${infer Literal})` ? Literal extends `${string},${string}` ? CsvToTuple<Literal> : Literal : never;
-type SimpleTypeDict<T extends SimpleDictToken> = T extends `Dict` ? Dictionary : T extends `Dict<string, ${infer Value extends DictValues & SimpleScalarToken}>` ? Dictionary<string, SimpleTypeScalar<Value>> : T extends `Dict<{${infer K}: ${infer V}, ${infer K2}: ${infer V2}}>` ? V extends SimpleScalarToken ? V2 extends SimpleScalarToken ? ExpandDictionary<Record<K, SimpleTypeScalar<V>> & Record<K2, SimpleTypeScalar<V2>> & Dictionary> : ExpandDictionary<Record<K, SimpleTypeScalar<V>> & Dictionary> : V2 extends SimpleScalarToken ? ExpandDictionary<Record<K2, SimpleTypeScalar<V2>> & Dictionary> : never : T extends `Dict<{${infer Key}: ${infer Value}}>` ? Value extends SimpleScalarToken ? ExpandDictionary<Record<Key, SimpleTypeScalar<Value>> & Dictionary> : never : never;
-type SimpleTypeArray<T extends SimpleArrayToken> = T extends "Array" ? any[] : T extends "Array<string>" ? string[] : T extends `Array<string(${infer StringUnion})>` ? Array<SimpleTypeScalar<`string(${StringUnion})`>> : T extends "Array<number>" ? number[] : T extends `Array<number(${infer NumericUnion extends `${number}`})>` ? Array<SimpleTypeScalar<`number(${NumericUnion})`>> : T extends "Array<boolean>" ? boolean[] : T extends "Array<unknown>" ? unknown[] : never;
-type SimpleTypeMap<T extends SimpleMapToken> = T extends "Map" ? Map<any, any> : T extends `Map<${infer Key extends MapKeys}, ${infer Value extends MapValues}>` ? Map<SimpleType<Key>, SimpleType<Value>> : never;
-type SimpleTypeSet<T extends SimpleSetToken> = T extends "Set" ? Set<any> : T extends `Set<${infer Type extends SetTypes}>` ? Set<SimpleType<Type>> : never;
-/**
- * **SimpleType**`<T>`
- *
- * A type utility which takes a `SimpleToken` and converts it to
- * it's _type_ in the type system.
- *
- * **Related:** `ToShapeToken`, `StructuredStringType`
+ * Converts a string literal template into the _type_ of that
+ * template string.
  */
-type SimpleType<T extends SimpleToken> = T extends SimpleScalarToken ? SimpleTypeScalar<T> : T extends SimpleDictToken ? SimpleTypeDict<T> : T extends SimpleArrayToken ? SimpleTypeArray<T> : T extends SimpleMapToken ? SimpleTypeMap<T> : T extends SimpleSetToken ? SimpleTypeSet<T> : T extends SimpleUnionToken ? SimpleTypeUnion<T> : never;
-type StructuredStringType = any;
+type AsStringLiteral<T extends string | readonly string[]> = T extends readonly string[] ? {
+    [K in keyof T]: T[K] extends string ? Convert<T[K]> : never;
+} : T extends string ? Convert<T> : never;
 
+interface AsTokenOpt {
+    start?: string;
+    delimiter?: string;
+    end?: string;
+}
+type Delimiter<T extends readonly string[] | readonly [AsTokenOpt, ...string[]]> = T extends string[] ? "::" : T extends [AsTokenOpt, ...string[]] ? T[0]["delimiter"] extends string ? T[0]["delimiter"] : "::" : never;
+type Start<T extends readonly string[] | readonly [AsTokenOpt, ...string[]]> = T extends string[] ? "::" : T extends [AsTokenOpt, ...string[]] ? T[0]["start"] extends string ? T[0]["start"] : "<<" : never;
+type End<T extends readonly string[] | readonly [AsTokenOpt, ...string[]]> = T extends string[] ? "::" : T extends [AsTokenOpt, ...string[]] ? T[0]["end"] extends string ? T[0]["end"] : ">>" : never;
+type ActualParams<T extends readonly string[] | readonly [AsTokenOpt, ...string[]]> = T extends string[] ? T : T extends [AsTokenOpt, ...string[]] ? Slice<T, 1> : never;
+type ParamsAsString<T extends readonly string[] | readonly [AsTokenOpt, ...string[]]> = ActualParams<T> extends string[] ? Join<ActualParams<T>, Delimiter<T>> : never;
 /**
- * **SimpleToken**
+ * **AsToken**`<TName, TParams>`
  *
- * An enumeration of string values which point to _types_ in the
- * the type system.
+ * A simple builder for a token; typically used with the runtime `asToken()` function.
  *
- * **Related:**
- * - `SimpleScalarToken`, `SimpleContainerToken`, `SimpleUnionToken`,
- * - `TypeToken`
+ * - **Related:** `AsTypeToken`, `AsSimpleToken`
  */
-type SimpleToken = SimpleScalarToken | SimpleArrayToken | SimpleDictToken | SimpleMapToken | SimpleSetToken | SimpleUnionToken;
+type AsToken<TName extends string, TParams extends readonly string[] | readonly [AsTokenOpt, ...string[]]> = ActualParams<TParams>["length"] extends 0 ? `${Start<TParams>}${TName}${End<TParams>}` : `${Start<TParams>}${Delimiter<TParams>}${ParamsAsString<TParams>}${End<TParams>}`;
+
 /**
  * the _optional_ variants of the `SimpleScalarToken` type
  */
@@ -15569,30 +15581,12 @@ type OptionalSimpleScalarTokens = typeof SIMPLE_OPT_SCALAR_TOKENS[number];
  * the _required_ variants of the `SimpleScalarToken` type
  */
 type RequiredSimpleScalarTokens = typeof SIMPLE_SCALAR_TOKENS[number];
-/**
- * **SimpleScalarToken**
- *
- * A subset of the `SimpleToken` which may be more useful for building
- * simple string literal values.
- *
- * **Note:** this includes both `RequiredSimpleScalarTokens` and `OptionalSimpleScalarTokens`.
- */
-type SimpleScalarToken = RequiredSimpleScalarTokens | OptionalSimpleScalarTokens;
 /**
  * **SimpleUnionToken**
  *
  * A subset of `SimpleToken` which represents union types.
  */
 type SimpleUnionToken = typeof SIMPLE_UNION_TOKENS[number];
-/**
- * **BaseTypeToken**
- *
- * A very simple structure for `TypeTokens` to fit into.
- *
- * Use this type if you need to preserve type simplicity, otherwise
- * prefer `TypeToken` (or subsets like `AtomicToken`, `SingletonToken`, etc.)
- */
-type BaseTypeToken = `${TypeTokenStart}${string}${TypeTokenStop}`;
 /**
  * a subset of `SimpleContainerToken`
  */
@@ -15617,52 +15611,140 @@ type SimpleSetToken = typeof SIMPLE_SET_TOKENS[number];
  */
 type SimpleContainerToken = SimpleDictToken | SimpleArrayToken | SimpleMapToken | SimpleArrayToken;
 /**
- * TypeTokenAtomics
+ * **SimpleScalarToken**
  *
- * The token names which are considered "atomic"
+ * A subset of the `SimpleToken` which may be more useful for building
+ * simple string literal values.
+ *
+ * **Note:** this includes both `RequiredSimpleScalarTokens` and `OptionalSimpleScalarTokens`.
  */
-type TypeTokenAtomics = typeof TT_Atomics[number];
+type SimpleScalarToken = RequiredSimpleScalarTokens | OptionalSimpleScalarTokens;
 /**
- * **AtomicToken**
+ * **SimpleToken**
  *
- * A fully formed `TypeToken` of the "atomic" type.
+ * An enumeration of string values which point to _types_ in the
+ * the type system.
+ *
+ * **Related:**
+ * - `SimpleScalarToken`, `SimpleContainerToken`, `SimpleUnionToken`,
+ * - `FromSimpleToken`, `FromDefn`
+ * - `TypeToken`
  */
-type AtomicToken = `<<${TypeTokenAtomics}>>`;
-type TypeTokenContainers = typeof TT_Containers[number];
-type ContainerToken = `<<${TypeTokenContainers}${string}>>`;
-type UnionToken<_TEls extends readonly unknown[] = unknown[]> = `<<union::[ ${string} ]>>`;
+type SimpleToken = SimpleScalarToken | SimpleArrayToken | SimpleDictToken | SimpleMapToken | SimpleSetToken | SimpleUnionToken;
+
+type SetTypes = typeof SIMPLE_SET_TYPES[number];
+type MapKeys = typeof SIMPLE_MAP_KEYS[number];
+type MapValues = typeof SIMPLE_MAP_VALUES[number];
+type DictValues = typeof SIMPLE_DICT_VALUES[number];
 /**
- * **UnionSetToken**
+ * **SimpleTypeScalar**`<T>`
  *
- * - static `<<union-set::`, then
- * - set _name_ `${string}`, then
- * - static `::[ `, then
- * - set _parameters_ `${string}`, then
- * - static ` ]>>`
+ * Converts a `SimpleScalarToken` into the _type_ it represents.
  */
-type UnionSetToken = `<<union-set::${string}::[ ${string} ]>>`;
-type ObjectToken = `<<obj::{ ${string} }>>`;
-type TupleToken = `<<tuple::[ ${string} ]>>`;
-type ArrayToken = `<<arr::${BaseTypeToken}>>`;
-type RecordToken = `<<rec::${BaseTypeToken}::${BaseTypeToken}>>`;
-type SetToken = `<<set::${BaseTypeToken}>>`;
-type MapToken = `<<map::${BaseTypeToken}::${BaseTypeToken}>>`;
-type WeakMapToken = `<<weak::${BaseTypeToken}::${BaseTypeToken}>>`;
-type FnToken = `<<fn::${string}::${BaseTypeToken}>>`;
-type GeneratorToken = `<<gen::${string}::${BaseTypeToken}>>`;
-type TypeTokenFunctions = typeof TT_Functions[number];
-type TypeTokenSingletons = typeof TT_Singletons[number];
+type SimpleTypeScalar<T extends SimpleScalarToken> = T extends "string" ? string : T extends `string(${infer Literal})` ? Literal extends `${string},${string}` ? CsvToStrUnion<Literal> : Literal : T extends "number" ? number : T extends `number(${infer Literal})` ? Literal extends `${string},${string}` ? CsvToUnion<Literal> : AsNumber<Literal> : T extends "boolean" ? boolean : T extends "true" ? true : T extends "false" ? false : T extends "null" ? null : T extends "any" ? any : T extends "undefined" ? undefined : T extends "unknown" ? unknown : T extends `Opt<${infer Underlying extends SimpleScalarToken}>` ? undefined | SimpleTypeScalar<Underlying> : never;
 /**
- * **SingletonToken**
+ * **SimpleTypeUnion**`<T>`
  *
- * Shapes:
- * - Wide: `<<string>>` or `<<number>>`
- * - Literal: `<<string::{string}>` or `<number::{number}>`
- * - Union Literal: `<<string::{UnionToken}>>`
- * - Sets: `<<string-set::[set]::[...params]>`
+ * Converts a `SimpleUnionToken` into the _type_ it represents.
  */
-type SingletonToken = `<<${TypeTokenSingletons}>>` | `<<${TypeTokenSingletons}::${string}>>` | `<<${TypeTokenSingletons}::${UnionToken}>>` | `<<string-set::${string}::[${string}]>>` | `<<number-set::${string}::[${string}]>>`;
-type TypeTokenSets = typeof TT_Sets[number];
+type SimpleTypeUnion<T extends SimpleUnionToken> = T extends "opt(string)" ? string | undefined : T extends "opt(number)" ? number | undefined : T extends "opt(boolean)" ? boolean | undefined : T extends "opt(unknown)" ? unknown | undefined : T extends `opt(${infer Literal extends string})` ? Literal extends `${string},${string}` ? TupleToUnion<CsvToTuple<Literal>> | undefined : UnderlyingType<Literal> | undefined : T extends `Union(${infer Literal})` ? Literal extends `${string},${string}` ? CsvToTuple<Literal> : Literal : never;
+type SimpleTypeDict<T extends SimpleDictToken> = T extends `Dict` ? Dictionary : T extends `Dict<string, ${infer Value extends DictValues & SimpleScalarToken}>` ? Dictionary<string, SimpleTypeScalar<Value>> : T extends `Dict<{${infer K}: ${infer V}, ${infer K2}: ${infer V2}}>` ? V extends SimpleScalarToken ? V2 extends SimpleScalarToken ? ExpandDictionary<Record<K, SimpleTypeScalar<V>> & Record<K2, SimpleTypeScalar<V2>> & Dictionary> : ExpandDictionary<Record<K, SimpleTypeScalar<V>> & Dictionary> : V2 extends SimpleScalarToken ? ExpandDictionary<Record<K2, SimpleTypeScalar<V2>> & Dictionary> : never : T extends `Dict<{${infer Key}: ${infer Value}}>` ? Value extends SimpleScalarToken ? ExpandDictionary<Record<Key, SimpleTypeScalar<Value>> & Dictionary> : never : never;
+type SimpleTypeArray<T extends SimpleArrayToken> = T extends "Array" ? any[] : T extends "Array<string>" ? string[] : T extends `Array<string(${infer StringUnion})>` ? Array<SimpleTypeScalar<`string(${StringUnion})`>> : T extends "Array<number>" ? number[] : T extends `Array<number(${infer NumericUnion extends `${number}`})>` ? Array<SimpleTypeScalar<`number(${NumericUnion})`>> : T extends "Array<boolean>" ? boolean[] : T extends "Array<unknown>" ? unknown[] : never;
+type SimpleTypeMap<T extends SimpleMapToken> = T extends "Map" ? Map<any, any> : T extends `Map<${infer Key extends MapKeys}, ${infer Value extends MapValues}>` ? Map<SimpleType<Key>, SimpleType<Value>> : never;
+type SimpleTypeSet<T extends SimpleSetToken> = T extends "Set" ? Set<any> : T extends `Set<${infer Type extends SetTypes}>` ? Set<SimpleType<Type>> : never;
+/**
+ * **SimpleType**`<T>`
+ *
+ * A type utility which takes a `SimpleToken` and converts it to
+ * it's _type_ in the type system.
+ *
+ * **Related:** `ToShapeToken`, `StructuredStringType`
+ */
+type SimpleType<T extends SimpleToken> = T extends SimpleScalarToken ? SimpleTypeScalar<T> : T extends SimpleDictToken ? SimpleTypeDict<T> : T extends SimpleArrayToken ? SimpleTypeArray<T> : T extends SimpleMapToken ? SimpleTypeMap<T> : T extends SimpleSetToken ? SimpleTypeSet<T> : T extends SimpleUnionToken ? SimpleTypeUnion<T> : never;
+type StructuredStringType = any;
+
+type MakeDynamic<T extends readonly string[]> = {
+    [K in keyof T]: ReplaceAll<ReplaceAll<T[K], "${string}", `${string}`>, "${Metric}", MetricCategory>;
+};
+/**
+ * Type extensions for the `string` variant
+ *
+ * Allow for wide "string", or a string literal.
+ */
+type TypeToken__String = `${string}`;
+type TypeToken__StringSet = MakeDynamic<typeof TYPE_TOKEN_STRING_SET_VARIANTS>[number];
+/**
+ * Type extensions for the `number` variant.
+ *
+ * Allow for wide "number", a numeric literal.
+ */
+type TypeToken__Number = `::${number}`;
+type TypeToken__NumberSet = "bigInt" | `bigInt::${bigint}` | "digit" | `digit::${2 | 3 | 4}` | "integer";
+type params = string;
+type rtn = string;
+type D = TypeTokenDelimiter;
+type TypeToken__Fn = `[${params}]` | `[${params}]${D}${rtn}` | `any::${rtn}`;
+type TypeToken__Gen = `[${params}]` | `[${params}]${D}${rtn}` | `gen${D}any${D}${rtn}`;
+type TypeToken__FnSet = `withoutParams` | `withoutParams${D}${rtn}` | `booleanLogic` | `booleanLogic${D}[${params}]`;
+type RecVariant = typeof TYPE_TOKEN_REC_VARIANTS[number];
+type RecKeyVariant = typeof TYPE_TOKEN_REC_KEY_VARIANTS[number];
+type TypeToken__Rec = `${RecVariant}${D}${RecKeyVariant}` | `${D}kv${D}${string}` | `${D}kv${D}${string}${D}${"withUnknownIndex" | "withAnyIndex"}`;
+type TypeToken__Undefined = "";
+type TypeToken__Null = "";
+type TypeToken__Boolean = "";
+type TypeToken__True = "";
+type TypeToken__False = "";
+type TypeToken__Never = "";
+type TypeToken__Unknown = "";
+type TypeToken__UnionSet = typeof TYPE_TOKEN_UNION_SET_VARIANTS[number];
+interface _TypeTokenLookup {
+    "string": TypeToken__String;
+    "string-set": TypeToken__StringSet;
+    "number": TypeToken__Number;
+    "number-set": TypeToken__NumberSet;
+    "undefined": TypeToken__Undefined;
+    "null": TypeToken__Null;
+    "boolean": TypeToken__Boolean;
+    "true": TypeToken__True;
+    "false": TypeToken__False;
+    "never": TypeToken__Never;
+    "unknown": TypeToken__Unknown;
+    "fn": TypeToken__Fn;
+    "fn-set": TypeToken__FnSet;
+    "gen": TypeToken__Gen;
+    "rec": TypeToken__Rec;
+    "arr": "";
+    "map": "";
+    "weak": "";
+    "union": "";
+    "union-set": TypeToken__UnionSet;
+}
+/**
+ * **TypeTokenLookup**`<T>`
+ *
+ * Adds allowed string literal variants for a given `TypeTokenKind`
+ */
+type TypeTokenLookup<T extends TypeTokenKind> = T extends keyof _TypeTokenLookup ? _TypeTokenLookup[T] : "";
+
+/**
+ * **BaseTypeToken**
+ *
+ * A very simple structure for `TypeTokens` to fit into.
+ *
+ * Use this type if you need to preserve type simplicity, otherwise
+ * prefer `TypeToken` (or subsets like `AtomicToken`, `SingletonToken`, etc.)
+ */
+type BaseTypeToken = `${TypeTokenStart}${string}${TypeTokenStop}`;
+/**
+ * TypeTokenAtomics
+ *
+ * The token names which are considered "atomic"
+ */
+type TypeTokenAtomics = typeof TT_ATOMICS[number];
+type TypeTokenContainers = typeof TT_CONTAINERS[number];
+type TypeTokenFunctions = typeof TT_FUNCTIONS[number];
+type TypeTokenSingletons = typeof TT_SINGLETONS[number];
+type TypeTokenSets = typeof TT_SETS[number];
 /**
  * **TypeTokenKind**
  *
@@ -15679,76 +15761,32 @@ type TypeTokenStart = typeof TT_START;
  * string which indicates the end of a `TypeToken`
  */
 type TypeTokenStop = typeof TT_STOP;
-type TypeTokenSeparator = typeof TT_SEP;
+/** the _delimiter_ token used in a `TypeToken` */
+type TypeTokenDelimiter = typeof TT_DELIMITER;
+type Delim = TypeTokenDelimiter;
 /**
  * **TypeToken**
  *
+ * A **TypeToken** represents the general shape of all variants of the
+ * TypeToken family. Variants are distinguished at the highest level
+ * by their `TypeTokenKind`.
  *
+ * You can use the generic `T` to isolate to one or more of these kinds
+ * if you like but by default all are represented.
  */
-type TypeToken<T extends TypeTokenKind = TypeTokenKind> = `${TypeTokenStart}${T}${"" | `::${string}`}${TypeTokenStop}`;
-type Parse<T extends TypeToken> = T extends `${TypeTokenStart}${infer Data}${TypeTokenStop}` ? If<Contains<Data, TypeTokenSeparator>, Split<Data, TypeTokenSeparator>, [
-    Data
-]> : never;
-type Kind<T extends TypeToken> = Parse<T>[0] extends TypeTokenKind ? Parse<T>[0] : never;
-type Data<T extends TypeToken> = AfterFirst<Parse<T>>;
-type Categories = "atomics" | "containers" | "functions" | "singletons";
-type Category<T extends TypeToken> = Kind<T> extends TypeTokenAtomics ? "atomics" : Kind<T> extends TypeTokenContainers ? "containers" : Kind<T> extends TypeTokenFunctions ? "functions" : Kind<T> extends TypeTokenSingletons ? "singletons" : never;
-type GetAtomic<T extends TypeTokenKind> = T extends "undefined" ? undefined : T extends "null" ? null : T extends [boolean, "true"] ? true : T extends [boolean, "false"] ? false : never;
-type GetSingleton<T extends TypeTokenKind, D extends readonly string[]> = T extends "string" ? D["length"] extends 0 ? string : First<D> extends string ? [string, First<D>] : never : T extends "number" ? D["length"] extends 0 ? number : First<D> extends `${number}` ? [number, AsNumber<First<D>>] : never : never;
-type GetFunction<T extends TypeTokenKind, _D extends readonly string[]> = T extends "fn" ? AnyFunction : T extends "gen" ? Generator : never;
-type GetContainer<T extends TypeTokenKind, _D extends readonly string[]> = T extends "obj" ? Dictionary : T extends "arr" ? unknown[] : T extends "set" ? Set<unknown> : T extends "map" ? Map<unknown, unknown> : T extends "weak" ? WeakMap<object, unknown> : never;
-type Type$1<TCat extends Categories, TKind extends TypeTokenKind, TData extends readonly string[]> = TCat extends "atomics" ? GetAtomic<TKind> : TCat extends "singletons" ? GetSingleton<TKind, TData> : TCat extends "functions" ? GetFunction<TKind, TData> : TCat extends "containers" ? GetContainer<TKind, TData> : never;
-type TypeHelper<T> = IsNever<T> extends true ? {
-    baseType: never;
-} : T extends readonly [infer First, infer Second] ? {
-    baseType: First;
-    literalType: Second;
-} : {
-    baseType: T;
-};
-/**
- * **ParseToken**`<T>`
- *
- * Attempts to parses the passed in string in `T` as a
- * `TypeToken` and if successful returns meta characteristics:
- *
- * - `token` - the raw token in `T`
- * - `kind` - the specific _kind_ of token; which uniquely identifies the token
- * - `category` - the category of token (e.g., atomic, singleton, etc.)
- * - `baseType` - the broad / base type of the token
- * - _`literal`_ - where appropriate, the _literal_ type of the token
- *
- * **Notes:**
- * - deeper type analysis must be done at runtime.
- * - if `T` is not a valid token then an `ErrorCondition<"invalid-token">`
- * will be raised.
- */
-type ParseToken<T extends string> = T extends TypeToken ? {
-    /** the raw token text */
-    token: T;
-    /** the _kind_ or _token name_ for this type */
-    kind: Kind<T>;
-    /** the category of type this is (atomics, singleton, etc.) */
-    category: Category<T>;
-    /** data/config parameters available for this token */
-    data: Data<T>;
-} & TypeHelper<Type$1<Category<T>, Kind<T>, Data<T>>> : Throw<"invalid-token", `Call to ParseToken<T> with an invalid token: ${T}`, "ParseToken", {
-    library: "inferred-types/constants";
-}>;
-/**
- * **TokenKind**`<T>`
- *
- * Reveals the _kind_ of a given `TypeToken`
- */
-type TokenKind<T extends TypeToken> = Kind<T>;
+type TypeToken<T extends TypeTokenKind = TypeTokenKind> = IsEqual<T, TypeTokenKind> extends true ? `${TypeTokenStart}${T}${"" | `${Delim}${string}`}${TypeTokenStop}` : T extends TypeTokenKind ? IsUnion<T> extends true ? null : T extends TypeTokenSets ? `${TypeTokenStart}${T}${Delim}${TypeTokenLookup<T>}${TypeTokenStop}` : T extends TypeTokenAtomics ? `${TypeTokenStart}${T}${TypeTokenStop}` : `${TypeTokenStart}${T}${TypeTokenStop}` | `${TypeTokenStart}${T}${Delim}${TypeTokenLookup<T>}${TypeTokenStop}` : never;
 /**
- * **TokenBaseType**`<T>`
- *
- * Reveals the _base_ type of a given `TypeToken`
+ * the shape of `TypeToken` variants which represent one of the Singleton variants
  */
-type TokenBaseType<T extends TypeToken> = ParseToken<T>["baseType"];
-type TokenLiteralType<T extends TypeToken> = "literal" extends keyof ParseToken<T> ? ParseToken<T>["literal"] : never;
-type IsTypeToken<T> = T extends string ? T extends TypeToken ? true : false : false;
+type TT_Singleton = TypeToken<TypeTokenSingletons>;
+/** the shape of `TypeToken` variants which represent one of the Atomic variants */
+type TT_Atomic = TypeToken<TypeTokenAtomics>;
+/** the shape of `TypeToken` variants which a "set" of pattern based types */
+type TT_Set = TypeToken<TypeTokenSets>;
+/** the shape of `TypeToken` variants which represent a function */
+type TT_Function = TypeToken<TypeTokenFunctions>;
+/** the shape of `TypeToken` variants which represent a container */
+type TT_Container = TypeToken<TypeTokenContainers>;
 
 type ProcessSimple<T extends SimpleToken | TypeToken> = T extends SimpleToken ? SimpleType<T> : never;
 type Iterate<T extends readonly SimpleToken[], TResult = never> = [] extends T ? TResult : Iterate<AfterFirst<T>, TResult & (First<T> extends SimpleScalarToken ? SimpleTypeScalar<First<T>> : First<T> extends SimpleDictToken ? SimpleTypeDict<First<T>> : First<T> extends SimpleMapToken ? SimpleTypeMap<First<T>> : First<T> extends SimpleSetToken ? SimpleTypeSet<First<T>> : First<T> extends SimpleArrayToken ? SimpleTypeArray<First<T>> : First<T> extends SimpleUnionToken ? SimpleTypeUnion<First<T>> : never)>;
@@ -15976,24 +16014,27 @@ interface ShapeApi__Functions {
         done: () => AsLiteralFn<FromDefn<TArgs>>;
     });
 }
+/** used in Shape callbacks */
 type RecordKeyWideTokens = "string" | "symbol" | "string | symbol";
+type FromSimpleRecordKey<T extends RecordKeyWideTokens> = T extends "string" ? string : T extends "symbol" ? symbol : T extends "string | symbol" ? string | symbol : never;
 type RecordKeyDefn = RecordKeyWideTokens | ShapeCallback;
-type FromRecordKeyDefn<T extends RecordKeyDefn> = T extends ShapeCallback ? HandleDoneFn<ReturnType<T>> : T extends "string" ? string : T extends "symbol" ? symbol : T extends "string | symbol" ? string | symbol : never;
+type FromRecordKeyDefn<T extends RecordKeyDefn> = T extends ShapeCallback ? FromShapeCallback<T> extends ObjectKey ? FromShapeCallback<T> : never : T extends "string" ? string : T extends "symbol" ? symbol : T extends "string | symbol" ? string | symbol : never;
 /**
  * An input type for defining an object's "key".
  *
  * Note: use of `FromDefn<T>` will translate this into the actual key value.
  */
 type ObjKeyDefn = RecordKeyWideTokens | ShapeCallback;
-type ArrayTypeDefn = "string[]" | "number[]" | "boolean[]" | "unknown[]" | ShapeCallback;
+type FromObjKeyDefn<T extends ObjKeyDefn> = T extends ShapeCallback ? FromShapeCallback<T> extends ObjectKey ? FromShapeCallback<T> : never : FromRecordKeyDefn<T>;
+type ArrayTypeDefn = "Array<string>" | "Array<number>" | "Array<boolean>" | "Array<unknown>" | ShapeCallback;
 type RecordValueTypeDefn = ShapeCallback | WideTokenNames;
 type MapKeyDefn = ShapeCallback | WideTokenNames;
 type MapValueDefn = ShapeCallback | WideTokenNames;
 type WeakMapKeyDefn = WideContainerNames | ShapeCallback;
 type WeakMapValueDefn = ShapeCallback | WideTokenNames;
 interface ShapeApi__WideContainers {
-    record: <TKey extends ObjKeyDefn = "string | symbol", TValue extends RecordValueTypeDefn = "unknown">(key?: TKey, value?: TValue) => Record<FromDefn<TKey>, FromDefn<TValue>>;
-    array: <T extends ArrayTypeDefn = "unknown[]">(type?: T) => AsArray<FromDefn<T>>;
+    record: <TKey extends ObjKeyDefn = "string | symbol", TValue extends RecordValueTypeDefn = "unknown">(key?: TKey, value?: TValue) => TKey extends string | symbol ? Record<FromObjKeyDefn<TKey>, FromDefn<TValue>> : never;
+    array: <T extends ArrayTypeDefn = "Array<unknown>">(type?: T) => AsArray<FromDefn<T>>;
     set: <T extends WideTokenNames | ShapeCallback = "unknown">(type?: T) => T extends ShapeCallback ? Set<HandleDoneFn<ReturnType<T>>> : T extends WideTokenNames ? Set<FromDefn<T>> : Set<unknown>;
     map: <TKey extends MapKeyDefn = "unknown", TValue extends MapValueDefn = "unknown">(key?: TKey, value?: TValue) => Map<FromDefn<TKey>, FromDefn<TValue>>;
     weakMap: <TKey extends WeakMapKeyDefn = "object", TValue extends WeakMapValueDefn = "unknown">(key?: TKey, value?: TValue) => WeakMap<As<FromDefn<TKey>, Container>, FromDefn<TValue>>;
@@ -16398,7 +16439,7 @@ type TypeTuple<TType extends Narrowable = Narrowable, TDesc extends string = str
  *   }
  *   ```
  *
- * - typically used though a function of type `DefineObjectApi`
+ * - typically used alongside `FromDefn` or `FromDefineObject`
  */
 interface DefineObject {
     [key: string]: SimpleToken | ShapeCallback;
@@ -17743,4 +17784,4 @@ type LastOfEach<T extends readonly unknown[][]> = {
  */
 type SecondOfEach<T extends unknown[][]> = T[number][1] extends T[number][number] ? T[number][1] : never;
 
-export { type Abs, type AbsMaybe, type Acceleration, type AccelerationMetrics, type AccelerationUom, type Add, type AddKeyValue, type AddUrlPathSegment, type AfterFirst, type AfterFirstChar, type AllCaps, type AllExtend, type AllLiteral, type AllNumericLiterals, type AllStringLiterals, type AllowNonTupleWhenSingular, type Alpha, type AlphaChar, type AlphaNumeric, type AlphaNumericChar, type AmPm, type AmPmCase, type AmazonUrl, type And, type AnyArray, type AnyFunction, type AnyObject, type AnyQueryParams, type Api, type ApiCallback, type ApiConfig, type ApiEscape, type ApiHandler, type ApiOptions, type ApiReturn, type ApiState, type ApiStateInitializer, type ApiSurface, type AppendRight, type AppleUrl, type AreSameLength, type AreSameType, type Area, type AreaMetrics, type AreaUom, type AriaDocStructureRoles, type AriaLandmarkRoles, type AriaLiveRegionRoles, type AriaRole, type AriaWidgetRoles, type AriaWindowRoles, type ArrayElementType, type ArrayToken, type ArrayTypeDefn, type As, type AsApi, type AsArray, type AsBoolean, type AsChoice, type AsContainer, type AsDefined, type AsDictionary, type AsDoneFn, type AsErr, type AsErrKind, type AsError, type AsError__Meta, type AsEscapeFunction, type AsFinalizedConfig, type AsFnMeta, type AsFunction, type AsIndexOf, type AsIp6Prefix, type AsLeft, type AsLeftRight, type AsLiteralFn, type AsNarrowingFn, type AsNegativeNumber, type AsNonNull, type AsNumber, type AsNumberWhenPossible, type AsNumericArray, type AsObject, type AsObjectKey, type AsObjectKeys, type AsOptionalParamFn, type AsPropertyKey, type AsRecord, type AsRef, type AsRight, type AsSomething, type AsString, type AsStringUnion, type AsTuple, type AsType, type AsUnion, type AsVueComputedRef, type AsyncFunction, type AtomicToken, type AustralianNewsCompanies, type AustralianNewsUrls, type AvailableConverters, type Awaited$1 as Awaited, type BareCssSelector, type BaseTypeToken, type BeforeLast, type BelgianNewsCompanies, type BelgianNewsUrls, type BespokeLiteral, type BespokeUnion, type BestBuyUrl, type BooleanLike, type Box, type Bracket, type Break, type CSV, type CamelCase, type CamelKeys, type CanadianNewsCompanies, type CanadianNewsUrls, type CapFirstAlpha, type CapitalizeWords, type Cardinality, type Cardinality0, type Cardinality1, type CardinalityExplicit, type CardinalityFilter0, type CardinalityFilter1, type CardinalityIn, type CardinalityInput, type CardinalityNode, type CardinalityOut, type Chars, type ChewyUrl, type ChineseNewsCompanies, type ChineseNewsUrls, type Choice, type ChoiceApi, type ChoiceApiConfig, type ChoiceApiOptions, type ChoiceBuilder, type ChoiceCallback, type ChoiceValue, type CivilianHours, type CivilianTime, type CivilianTimeOptions, type ClosingBracket, type ClosingMark, type ClosingMarkPlus, type ColorFnOptOpacity, type ColorFnValue, type ColorParam, type CombinedKeys, type CommonHtmlElement, type ComparatorOperation, type Compare$1 as Compare, type Comparison, type CompleteError, type Concat, type ConfiguredMap, type Consonant, type Consonants, type Constructor, type Container, type ContainerBlockKey, type ContainerKeyGuarantee, type ContainerToken, type Contains, type ContainsAll, type Conversion, type ConversionTuple, type ConvertSet, type ConvertTypeOf, type ConvertWideTokenNames, type ConverterCoverage, type ConverterDefn, type CostCoUrl, type CostcoUrl, type CountryPhoneNumber, type Cr, type CrThenIndent, type CreateChoice, type CreateDictHash, type CreateDictShape, type CreateKV, type CreateLookup, type CssAbsolutionPositioningProperties, type CssAlignContent, type CssAlignItems, type CssAlignProperties, type CssAlignSelf, type CssAnimation, type CssAnimationComposition, type CssAnimationDelay, type CssAnimationDirection, type CssAnimationDuration, type CssAnimationFillMode, type CssAnimationIterationCount, type CssAnimationPlayState, type CssAnimationProperties, type CssAnimationTimingFunction, type CssAppearance, type CssAspectRatio, type CssBackdropFilter, type CssBackgroundProperties, type CssBorderCollapse, type CssBorderImageRepeat, type CssBorderImageSource, type CssBorderInlineSizing, type CssBorderProperties, type CssBorderStyle, type CssBorderWidth, type CssBoxAlign, type CssBoxDecorationBreak, type CssBoxProperties, type CssBoxShadow, type CssBoxSizing, type CssCalc, type CssClamp, type CssClassSelector, type CssColor, type CssColorFn, type CssColorLight, type CssColorMix, type CssColorMixLight, type CssColorModel, type CssColorSpace, type CssColorSpacePrimary, type CssContent, type CssCursor, type CssDefinition, type CssDisplay, type CssDisplayStatePseudoClasses, type CssFlex, type CssFlexBasis, type CssFlexDirection, type CssFlexFlow, type CssFlexGrow, type CssFlexShrink, type CssFloat, type CssFontFamily, type CssFontFeatureSetting, type CssFontKerning, type CssFontLanguageOverride, type CssFontPalette, type CssFontStyle, type CssFontSynthesis, type CssFontWeight, type CssFontWidth, type CssFunctionalPseudoClass, type CssGap, type CssGlobal, type CssHangingPunctuation, type CssHexColor, type CssHsb, type CssHsl, type CssIdSelector, type CssImageOrientation, type CssImageRendering, type CssImageResolution, type CssInputPseudoClasses, type CssJustifyContent, type CssJustifyItems, type CssJustifyProperties, type CssJustifySelf, type CssKeyframeTimestamp, type CssKeyframeTimestampSuggest, type CssLetterSpacing, type CssLinguisticPseudoClasses, type CssListStyle, type CssLocationPseudoClasses, type CssMargin, type CssMarginBlock, type CssMarginBlockEnd, type CssMarginBlockStart, type CssMarginBottom, type CssMarginInline, type CssMarginInlineEnd, type CssMarginInlineStart, type CssMarginLeft, type CssMarginProperties, type CssMarginRight, type CssMarginTop, type CssMixBlendMode, type CssNamedColors, type CssNamedSizes, type CssObjectFit, type CssObjectPosition, type CssOffsetDistance, type CssOffsetPath, type CssOffsetPosition, type CssOffsetProperties, type CssOkLch, type CssOpacity, type CssOutline, type CssOutlineColor, type CssOutlineOffset, type CssOutlineProperties, type CssOutlineStyle, type CssOutlineWidth, type CssOverflowAnchor, type CssOverflowBlock, type CssOverflowClipMargin, type CssOverflowInline, type CssOverflowProperties, type CssOverflowX, type CssOverflowY, type CssPadding, type CssPaddingBlock, type CssPaddingBlockEnd, type CssPaddingBlockStart, type CssPaddingBottom, type CssPaddingInline, type CssPaddingInlineEnd, type CssPaddingInlineStart, type CssPaddingLeft, type CssPaddingProperties, type CssPaddingRight, type CssPaddingTop, type CssPerspectiveOrigin, type CssPlaceContent, type CssPlaceItems, type CssPlaceProperties, type CssPlaceSelf, type CssPointerEvent, type CssPosition, type CssProperty, type CssPseudoClass, type CssPseudoClassDefn, type CssResourceStatePseudoClasses, type CssRgb, type CssRgba, type CssRotation, type CssRound, type CssSelector, type CssSizing, type CssSizingFunction, type CssSizingLight, type CssStroke, type CssStrokeDasharray, type CssStrokeProperties, type CssTagSelector, type CssTextAlign, type CssTextDecorationLine, type CssTextDecorationStyle, type CssTextIndent, type CssTextJustify, type CssTextOrientation, type CssTextOverflow, type CssTextPosition, type CssTextProperties, type CssTextRendering, type CssTextTransform, type CssTextWrap, type CssTextWrapMode, type CssTextWrapStyle, type CssTimePseudoClasses, type CssTiming, type CssTransform, type CssTransformBox, type CssTransformOrigin, type CssTransformProperties, type CssTransformStyle, type CssTranslate, type CssTranslateFn, type CssTreePseudoClasses, type CssUserActionPseudoClasses, type CssVar, type CssVarWithFallback, type CssWhiteSpace, type CssWhiteSpaceCollapse, type CssWordBreak, type CssWritingMode, type CsvToJsonTuple, type CsvToStrUnion, type CsvToTuple, type CsvToTupleStr, type CsvToUnion, type Current, type CurrentMetrics, type CurrentUom, type CvsUrl, DEFAULT_MANY_TO_ONE_MAPPING, DEFAULT_ONE_TO_MANY_MAPPING, DEFAULT_ONE_TO_ONE_MAPPING, type DanishNewsCompanies, type DanishNewsUrls, type DashToSnake, type DashUppercase, type Date$2 as Date, type DateSeparator, type DateThenMonth, type DateThenMonthThenYear, type DateTime, type DateTimeMinutes, type DateTimeSeconds, type DayOfWeek, type DayofWeekFull, type DecomposeMapConfig, type Decrement, type Default, type DefaultManyToOneMapping, type DefaultOneToManyMapping, type DefaultOneToOneMapping, type DefineObject, type DefineObjectApi, type DefineStatelessApi, type Defined, type DellUrl, type Delta, type DialCountryCode, type Dict, type DictArray, type DictArrayFilterCallback, type DictArrayKv, type DictChangeValue, type DictFromKv, type DictKvTuple, type DictTypeDefinition, type Dictionary, type DictionaryTypeDefn, type Digit, type DigitNonZero, type Digital, type DigitalLiteral, type Digitize, type Distance, type DistanceMetrics, type DistanceUom, type DnsName, type DoesExtend, type DoesNotExtend, type DomainName, type DoneFnTuple, type DotPathFor, type DoubleQuote, type DropChars, type DutchNewsCompanies, type DutchNewsUrls, type EbayUrl, type ElementOf, type Email, type EmptyObject, type EmptyString, type EmptyStringOr, type EndsWith, type Energy, type EnergyMetrics, type EnergyUom, type EnsureKeys, type EnsureLeading, type EnsureLeadingEvery, type EnsureSurround, type EnsureTrailing, type Equals, type Err, type ErrFrom, type ErrInput, type ErrorCondition, type ErrorConditionHandler, type ErrorConditionShape, type EscapeFunction, type EsotericHtmlElement, type EtsyUrl, type Exif, type ExifAttributionInfo, type ExifCameraInfo, ExifCompression, ExifContrast, type ExifDateTimeInfo, ExifEmbedPolicy, type ExifExtraneous, ExifFlashValues, ExifGainControl, type ExifGps, ExifLightSource, type ExifPhotoContext, ExifPreviewColorSpace, ExifSaturation, ExifSceneCaptureType, ExifSharpness, ExifSubjectDistance, type ExpandDictionary, type ExpandRecursively, type ExpandTuple, type ExpandUnion, type ExplicitlyEmptyObject, type Extends, type ExtendsAll, type ExtendsNone, type ExtendsSome, type Fail, type FalsyValue, type FifoQueue, type Filter, type FilterByProp, type FilterLiterals, type FilterProps, type FilterWideTypes, type FinalizedMapConfig, type Find, type FindFirstIndex, type FindIndexMetaOfString, type FindIndexMetaOfTuple, type FindIndexes, type FindIndexesWithMeta, type FindLastIndex, type First, type FirstChar, type FirstKey, type FirstKeyValue, type FirstOfEach, type FirstString, type FixedLengthArray, type Flatten, type FlattenUnion, type FluentApi, type FluentFn, type FluentState, type FnAllowingProps, type FnArgsDefn, type FnDefn, type FnFrom, type FnMeta, type FnPropertiesDefn, type FnProps, type FnReturnTypeDefn, type FnToken, type FnWithDescription, type FnWithProps, type FontProperties, type FrenchNewsCompanies, type FrenchNewsUrls, type Frequency, type FrequencyMetrics, type FrequencyUom, type FromDefineObject, type FromDefn, type FromDictArray, type FromLiteralTokens, type FromMaybeRef, type FromRecordKeyDefn, type FromTypeDefn, type FromWideTokens, type FullDate, type FullWidthQuotation, type FullyQualifiedUrl, type GeneratorToken, type GermanNewsCompanies, type GermanNewsUrls, type Get$1 as Get, type GetEach, type GetEscapeFunction, type GetPhoneCountryCode, type GetPhoneNumberType, type GetTypeOf, type GetUrlPath, type GetUrlPort, type GetUrlProtocol, type GetUrlProtocolPrefix, type GetUrlQueryParams, type GetUrlSource, type GetYouTubePageType, type GitRef, type GithubActionsUrl, type GithubInsightPageType, type GithubInsightUrl, type GithubOrgUrl, type GithubRepoBranchesUrl, type GithubRepoDiscussionUrl, type GithubRepoDiscussionsUrl, type GithubRepoIssueUrl, type GithubRepoIssuesListUrl, type GithubRepoProjectUrl, type GithubRepoProjectsUrl, type GithubRepoPullRequestUrl, type GithubRepoPullRequestsUrl, type GithubRepoReleaseTagUrl, type GithubRepoReleasesUrl, type GithubRepoTagsUrl, type GithubRepoUrl, type GithubUrl, type HandMUrl, type Handle, type HandleDoneFn, type HasArray, type HasCharacters, type HasEscapeFunction, type HasIndex, type HasIpAddress, type HasNetworkProtocolReference, type HasOtherCharacters, type HasParameters, type HasPhoneCountryCode, type HasProp, type HasQueryParameter, type HasRequiredProps, type HasSameKeys, type HasSameValues, type HasUnionType, type HasUppercase, type HasUrlPath, type HasUrlSource, type HasWideValues, type HaveSameNumericSign, type HexColor, type Hexadecimal, type HexadecimalChar, type HomeDepotUrl, type HoursMinutes, type HoursMinutes12, type HoursMinutesSeconds, type HoursMinutesSeconds12, type HoursMinutesSecondsMilliseconds, type HoursMinutesSecondsMilliseconds12, type HtmlBodyElement, type HtmlElement, type HtmlFrameworkElement, type HtmlFunctionalElement, type HtmlHeaderElement, type HtmlInputElement, type HtmlListElement, type HtmlMediaElement, type HtmlStructuralElement, type HtmlSymantecElement, type HtmlTableElement, type IP6Multicast, type IP6Unicast, type IdentityFn, type IdentityFunction, type If, type IfAllExtend, type IfAllLiteral, type IfEqual, type IfEquals, type IfErrorCondition, type IfLeft, type IfLength, type IfLiteralKind, type IfNever, type IfUnset, type IfUnsetOrUndefined, type Iff, type IkeaUrl, type ImgFormat, type ImgFormatWeb, type Immutable, type Increment, type Indent$1 as Indent, type Indent2, type Indent4, type IndentSpaces, type IndentTab, type IndexOf, type Indexable, type IndexableObject, type IndianNewsCompanies, type IndianNewsUrls, type InlineSvg, type InternationalPhoneNumber, type Intersect$1 as Intersect, type IntersectAll, type IntersectWithAll, type IntersectingKeys, type Intersection, type InvertNumericSign, type Ip4Address, type Ip4Netmask, type Ip4Netmask16, type Ip4Netmask24, type Ip4Netmask32, type Ip4Netmask8, type Ip4NetmaskSuggestion, type Ip4Octet, type Ip6Address, type Ip6AddressFull, type Ip6AddressLoose, type Ip6Group, type Ip6GroupExpansion, type Ip6Loopback, type Ip6Subnet, type Ip6SubnetPrefix, type IsAllCaps, type IsAllLowercase, type IsArray, type IsBoolean, type IsBooleanLiteral, type IsCapitalized, type IsComputedRef, type IsContainer, type IsCssHexadecimal, type IsDefined, type IsDictionaryDefinition, type IsDomainName, type IsDotPath, type IsEmptyContainer, type IsEmptyObject, type IsEmptyString, type IsEqual, type IsErr, type IsErrorCondition, type IsEscapeFunction, type IsFalse, type IsFalsy, type IsFloat, type IsFnWithParams, type IsFunction, type IsGreaterThan, type IsGreaterThanOrEqual, type IsHexadecimal, type IsInteger, type IsIp4Address, type IsIp4Octet, type IsIp6Address, type IsIp6HexGroup, type IsIpAddress, type IsIso8601DateTime, type IsIsoDate, type IsIsoExplicitDate, type IsIsoImplicitDate, type IsIsoTime, type IsJsDate, type IsLength, type IsLessThan, type IsLessThanOrEqual, type IsLiteral, type IsLiteralFn, type IsLiteralKind, type IsLiteralUnion, type IsLowerAlpha, type IsLuxonDateTime, type IsMoment, type IsNarrowingFn, type IsNegativeNumber, type IsNever, type IsNonEmptyContainer, type IsNonEmptyObject, type IsNonLiteralUnion, type IsNotEqual, type IsNothing, type IsNull, type IsNumber, type IsNumberLike, type IsNumericLiteral, type IsObject, type IsObjectLiteral, type IsOk, type IsOptionalLiteral, type IsOptionalScalar, type IsPhoneNumber, type IsPositiveNumber, type IsReadonlyArray, type IsReadonlyObject, type IsResult, type IsScalar, type IsSingleChar, type IsSingleSided, type IsSingularNoun, type IsStrictPromise, type IsString, type IsStringLiteral, type IsSymbol, type IsThenable, type IsTrue, type IsTruthy, type IsTuple, type IsTypeToken, type IsUndefined, type IsUnion, type IsUnionArray, type IsUnset, type IsUrl, type IsValidDotPath, type IsValidIndex, type IsVueRef, type IsWideContainer, type IsWideScalar, type IsWideType, type IsWideUnion, type Iso3166Alpha2Lookup, type Iso3166Alpha3Lookup, type Iso3166CodeLookup, type Iso3166CountryLookup, type Iso3166_1_Alpha2, type Iso3166_1_Alpha3, type Iso3166_1_CountryCode, type Iso3166_1_CountryName, type Iso3166_1_Lookup, type Iso3166_1_Token, type Iso8601, type Iso8601Date, type Iso8601DateTime, type Iso8601Time, type Iso8601Year, type ItalianNewsCompanies, type ItalianNewsUrls, type JapaneseNewsCompanies, type JapaneseNewsUrls, type Join, type JsonValue, type JsonValues, type JustFunction, type KebabCase, type KebabKeys, type KeyOf, type KeyValue, type Keys, type KeysEqualValue, type KeysNotEqualValue, type KeysWithValue, type KeysWithoutValue, type KindFrom, type KlassMeta, type KrogerUrl, type KvFn, type KvFnDefn, type KvFrom, type KvTuple, type Last, type LastChar, type LastInUnion$1 as LastInUnion, type LastOfEach, type LeadingNonAlpha, type Left, type LeftContains, type LeftDoubleMark, type LeftEquals, type LeftExtends, type LeftHeavyDoubleTurned, type LeftHeavySingleTurned, type LeftIncludes, type LeftLowDoublePrime, type LeftReversedDoublePrime, type LeftRight, type LeftRight__Operations, type LeftSingleMark, type LeftWhitespace, type Length, type LessThan, type LessThanOrEqual$1 as LessThanOrEqual, type LifoQueue, type LikeRegExp, type List, type LiteralFn, type LocalPhoneNumber, type LogicFunction, type LogicalCombinator, type LogicalReturns, type LowerAllCaps, type LowerAlphaChar, type LowesUrl, type Luminosity, type LuminosityMetrics, type LuminosityUom, type LuxonJs, type MacysUrl, type MakeKeysOptional, type MakeKeysRequired, type MakePropsMutable, type ManyToMany, type ManyToOne, type ManyToZero, type MapCard, MapCardinality, type MapCardinalityFrom, type MapCardinalityIllustrated, type MapConfig, type MapCoverage, type MapError, type MapFn, type MapFnInput, type MapFnOutput, type MapIR, type MapInput, type MapInputFrom, type MapKeyDefn, type MapOR, type MapOutput, type MapOutputFrom, type MapTo, type MapToken, type MapValueDefn, type Mapper, type MapperApi, type Mass, type MassMetrics, type MassUom, type MaxLength, type MaybeError, type MaybeRef, type Merge, type MergeKVs, type MergeObjects, type MergeScalars, type MergeTuples, type Metric, type MexicanNewsCompanies, type MexicanNewsUrls, type MilitaryHours, type MilitaryTime, type MilitaryTimeOptions, type Milliseconds, type Minutes, type MomentJs, type MonthAbbr, type MonthAbbrThenDate, type MonthAbbrThenDateAndYear, type MonthDay, type MonthName, type MonthNumeric, type MonthPostfix, type MonthThenDate, type MonthThenDateThenYear, type MonthThenDate_Simple, type MultiChoiceCallback, type MultipleChoice, type Mutable, type MutableProps, type MutablePropsExclusive, type NamedColor, type NamedColorMinimal, type NamedColor_Blue, type NamedColor_Brown, type NamedColor_Cyan, type NamedColor_Gray, type NamedColor_Green, type NamedColor_Orange, type NamedColor_Pink, type NamedColor_Purple, type NamedColor_Red, type NamedColor_White, type NamedColor_Yellow, type NamingConvention, type Narrow$1 as Narrow, type NarrowDictProps, type NarrowObject, type Narrowable, type NarrowableDefined, type NarrowableScalar, type NarrowingFn, type NarrowlyContains, type NegDelta, type Negative, type NetworkProtocol, type NetworkProtocolPrefix, type NewsUrls, type NextDigit, type NikeUrl, type NonAlphaChar, type NonArray, type NonNumericKeys, type NonStringKeys, type NonZeroNumericChar, type NorwegianNewsCompanies, type NorwegianNewsUrls, type Not, type NotEqual, type NotLength, type NotNull, type Nothing, type NumberLike, type NumericChar, type NumericCharOneToFive, type NumericCharOneToFour, type NumericCharOneToThree, type NumericCharOneToTwo, type NumericCharZeroToFive, type NumericCharZeroToFour, type NumericCharZeroToOne, type NumericCharZeroToThree, type NumericCharZeroToTwo, type NumericComparatorOperation, type NumericKeys, type NumericRange, type NumericSign, type NumericSort, type NumericSupportOptions, type ObjKeyDefn, type ObjectKey, type ObjectToCssString, type ObjectToJsString, type ObjectToJsonString, type ObjectToKeyframeString, type ObjectToTuple, type ObjectToken, type Ok, type OkFrom, type OldSchoolHtmlElement, type OnPass, type OnPassRemap, type OneToMany, type OneToOne, type OneToZero, type OpeningBracket, type OpeningMark, type OpeningMarkPlus, type Opt$1 as Opt, type OptCr, type OptCrThenIndent, type OptDictProps, type OptModifier, type OptPercent, type OptRequired, type OptSpace, type OptSpace2, type OptSpace4, type OptUrlQueryParameters, type OptWhitespace, type Optional, type OptionalKeys, type OptionalParamFn, type OptionalProps, type OptionalSimpleScalarTokens, type OptionalSpace, type Or, type ParameterlessFn, type ParamsForComparison, type ParseInt, type ParseToken, type PartialError, type PartialErrorDefn, type PascalCase, type PascalKeys, type Passthrough, type PathJoin, type PhoneAreaCode, type PhoneCountryCode, type PhoneCountryLookup, type PhoneFormat, type PhoneNumber, type PhoneNumberDelimiter, type PhoneNumberType, type PhoneShortCode, type Pluralize, type PlusMinus, type Pop, type PortSpecifierOptions, type Power, type PowerMetrics, type PowerUom, type Prepend, type PrependAll, type Pressure, type PressureMetrics, type PressureUom, type PriorDigit, type PrivateKey, type PrivateKeyOf, type PrivateKeys, type PromiseAll, type PropertyChar, type ProtocolOptions, type ProxyError, type PublicKeyOf, type PublicKeys, type Punctuation, type Push, type QuotationMark, type QuotationMarkPlus, type RawPhoneNumber, type ReadonlyKeys, type ReadonlyProps, type RealizedErr, type RecordKeyDefn, type RecordKeyWideTokens, type RecordToken, type RecordValueTypeDefn, type ReduceValues, type RegularFn$1 as RegularFn, type Relate, type RelativeUrl, type RemoveEmpty, type RemoveFnProps, type RemoveFromEnd, type RemoveFromStart, type RemoveHttpProtocol, type RemoveIndex, type RemoveIndexKeys, type RemoveMarked, type RemoveNetworkProtocol, type RemoveNever, type RemovePhoneCountryCode, type RemoveStart, type RemoveUndefined, type RemoveUrlPort, type RemoveUrlSource, type Repeat, type Replace, type ReplaceAll, type ReplaceLast, type RepoPageType, type RepoSource, type RepoUrls, type RequireProps, type RequiredKeys, type RequiredKeysTuple, type RequiredProps, type RequiredSimpleScalarTokens, type Resistance, type ResistanceMetrics, type ResistanceUom, type Result, type ResultApi, type ResultErr, type ResultTuple, type RetailUrl, type Retain, type RetainAfter, type RetainAfterLast, type RetainByProp, type RetainChars, type RetainLiterals, type RetainProps, type RetainUntil, type RetainWhile, type RetainWideTypes, type ReturnTypes, type ReturnValues, type Returns, type ReturnsFalse, type ReturnsTrue, type Reverse, type RgbColor, type RgbaColor, type Right, type RightContains, type RightDoubleMark, type RightEquals, type RightExtends, type RightHeavyDoubleTurned, type RightHeavySingleTurned, type RightIncludes, type RightReversedDoublePrime, type RightSingleMark, type RightWhitespace, type RuntimeUnion, type Scalar, type ScalarCallback, type ScalarNotSymbol, type Second, type SecondOfEach, type Seconds, type SemanticVersion, type SetCandidate, type SetToken, type Shape, type ShapeApi, type ShapeApi__Scalars, type ShapeCallback, type ShapeSuggest, type ShapeTupleOrUnion, type SharedKeys, type Shift, type ShortDate, type SimpleArrayToken, type SimpleContainerToken, type SimpleDictToken, type SimpleMapToken, type SimpleScalarToken, type SimpleSetToken, type SimpleToken, type SimpleType, type SimpleTypeArray, type SimpleTypeDict, type SimpleTypeMap, type SimpleTypeScalar, type SimpleTypeSet, type SimpleTypeUnion, type SimpleUnionToken, type SimplifyObject, type SingleQuote, type SingletonToken, type SingularNoun$1 as SingularNoun, type SingularNounEnding, type SizingUnits, type Slice, type SmartMark, type SmartMarkPlus, type SnakeCase, type SnakeKeys, type SocialMediaPlatform, type SocialMediaProfileUrl, type SocialMediaUrl, type Some, type SomeEqual, type SomeExtend, type Something, type SouthKoreanNewsCompanies, type SouthKoreanNewsUrls, type SpanishNewsCompanies, type SpanishNewsUrls, type SpecialChar, type Speed, type SpeedMetrics, type SpeedUom, type Split, type StackFrame, type StackTrace, type StandardMark, type StartsWith, type StrLen, type StringComparatorOperation, type StringDelimiter, type StringKeys, type StringLength, type StringLiteralFromTuple, type StringLiteralToken, type StringTokenUtilities, type StripAfter, type StripBefore, type StripChars, type StripLeading, type StripLeftNonAlpha, type StripSlash, type StripSurround, type StripTrailing, type StripUntil, type StripWhile, type StrongMap, type StrongMapTransformer, type StrongMapTypes, type StructuredStringType, type Subtract, type Suggest, type SuggestHexadecimal, type SuggestIpAddress, type SuggestNumeric, type Surround, type SwissNewsCompanies, type SwissNewsUrls, type SymbolKind, type TLD, type TZ, type TakeFirst, type TakeLast, type TakeProp, type TargetUrl, type Temperature, type TemperatureMetrics, type TemperatureUom, type Thenable, type Throw, type Time, type TimeInMilliseconds, type TimeInMinutes, type TimeInSeconds, type TimeLike, type TimeMetric, type TimeMetrics, type TimeNomenclature, type TimeResolution, type TimeUom, type Timezone, type ToBoolean, type ToCSV, type ToChoices, type ToContainer, type ToFn, type ToInteger, type ToIntegerOp, type ToJsonValue, type ToNumber, type ToNumericArray, type ToPhoneFormat, type ToString, type ToStringArray, type ToStringLiteral, type ToUnion, type TokenBaseType, type TokenKind, type TokenLiteralType, type TokenizeStringLiteral, type Trim, type TrimLeft, type TrimRight, type Truncate$1 as Truncate, type TruncateAtLen, type TruthyReturns, type Tuple, type TupleDefn, type TupleRange, type TupleToUnion, type TupleToken, type TurkishNewsCompanies, type TurkishNewsUrls, type TwChroma, type TwChroma100, type TwChroma200, type TwChroma300, type TwChroma400, type TwChroma50, type TwChroma500, type TwChroma600, type TwChroma700, type TwChroma800, type TwChroma900, type TwChroma950, type TwChromaLookup, type TwColor, type TwColorOptionalOpacity, type TwColorTarget, type TwColorWithLuminosity, type TwColorWithLuminosityOpacity, type TwHue, type TwLumi100, type TwLumi200, type TwLumi300, type TwLumi400, type TwLumi50, type TwLumi500, type TwLumi600, type TwLumi700, type TwLumi800, type TwLumi900, type TwLumi950, type TwLuminosity, type TwLuminosityLookup, type TwModifier, type TwModifier__Core, type TwModifier__Order, type TwModifier__Reln, type TwModifier__Size, type TwModifiers, type TwNeutralColor, type TwSizeResponsive, type TwStaticColor, type TwTarget__Color, type TwTarget__ColorLuminosity, type TwTarget__ColorLuminosityWithOpacity, type TwTarget__ColorName, type TwTarget__ColorWithOptPrefixes, type TwTarget__Color__Light, type TwVibrantColor, type Type, type TypeDefaultValue, type TypeDefinition, type TypeDefn, type TypeDefnValidations, type TypeErrorInfo, type TypeGuard, type TypeHasDefaultValue, type TypeHasUnderlying, type TypeHasValidations, type TypeIsRequired, type TypeKind, type TypeKindContainer, type TypeKindContainerNarrow, type TypeKindContainerWide, type TypeKindFalsy, type TypeKindLiteral, type TypeKindWide, type TypeOf, type TypeOfExtended, type TypeOptions, type TypeRequired, type TypeStrength, type TypeToken, type TypeTokenAtomics, type TypeTokenContainers, type TypeTokenFunctions, type TypeTokenKind, type TypeTokenSeparator, type TypeTokenSets, type TypeTokenSingletons, type TypeTokenStart, type TypeTokenStop, type TypeTuple, type TypeUnderlying, type TypedFunction, type TzHourOffset, type UkNewsCompanies, type UkNewsUrls, type UnderlyingType, type UnionArrayToTuple, type UnionElDefn, type UnionFilter, type UnionFromProp, type UnionHasArray, type UnionMutate, type UnionMutationOp, type UnionRetain, type UnionSetToken, type UnionShift, type UnionToIntersection, type UnionToTuple$1 as UnionToTuple, type UnionToken, type UnionWithAll, type Unique, type UniqueKeys, type UniqueKeysUnion, type UniqueKv, type UnitType, type Unset, type Uom, type UpperAlphaChar, type UpsertKeyValue, type Uri, type UrlBuilder, type UrlOptions, type UrlPath, type UrlPort, type UrlQueryParameters, type UrlsFrom, type UsNewsCompanies, type UsNewsUrls, type UsStateAbbrev, type UsStateName, type ValidKey, type Validate, type ValidationFunction, type ValueAtDotPath, type ValueCallback, type ValueOrReturnValue, type Values, type VariableChar, type Voltage, type VoltageMetrics, type VoltageUom, type Volume, type VolumeMetrics, type VolumeUom, type VueComputedRef, type VueRef, type WalgreensUrl, type WalmartUrl, type WayFairUrl, type WeakMapKeyDefn, type WeakMapToken, type WeakMapValueDefn, type WhenNever, type WhereLeft, type Whitespace, type WholeFoodsUrl, type WideContainerNames, type WideTokenNames, type WideTypeName, type Widen, type WidenContainer, type WidenLiteral, type WidenScalar, type WidenTuple, type WidenUnion, type WidenValues, type WithDefault, type WithKeys, type WithNumericKeys, type WithStringKeys, type WithValue, type WithoutKeys, type WithoutValue, type WrapperFn, type YMD, type Year, type YouTubeCreatorUrl, type YouTubeEmbedUrl, type YouTubeFeedType, type YouTubeFeedUrl, type YouTubeHistoryUrl, type YouTubeHome, type YouTubeLikedPlaylistUrl, type YouTubePageType, type YouTubePlaylistUrl, type YouTubeShareUrl, type YouTubeSubscriptionsUrl, type YouTubeUrl, type YouTubeUsersPlaylistUrl, type YouTubeVideoUrl, type YouTubeVideosInPlaylist, type ZaraUrl, type Zero, type ZeroToMany, type ZeroToOne, type ZeroToZero, type Zip5, type ZipCode, type ZipPlus4, type ZipToState };
+export { type Abs, type AbsMaybe, type Acceleration, type AccelerationMetrics, type AccelerationUom, type Add, type AddKeyValue, type AddUrlPathSegment, type AfterFirst, type AfterFirstChar, type AllCaps, type AllExtend, type AllLiteral, type AllNumericLiterals, type AllStringLiterals, type AllowNonTupleWhenSingular, type Alpha, type AlphaChar, type AlphaNumeric, type AlphaNumericChar, type AmPm, type AmPmCase, type AmazonUrl, type And, type AnyArray, type AnyFunction, type AnyObject, type AnyQueryParams, type Api, type ApiCallback, type ApiConfig, type ApiEscape, type ApiHandler, type ApiOptions, type ApiReturn, type ApiState, type ApiStateInitializer, type ApiSurface, type AppendRight, type AppleUrl, type AreSameLength, type AreSameType, type Area, type AreaMetrics, type AreaUom, type AriaDocStructureRoles, type AriaLandmarkRoles, type AriaLiveRegionRoles, type AriaRole, type AriaWidgetRoles, type AriaWindowRoles, type ArrayElementType, type ArrayTypeDefn, type As, type AsApi, type AsArray, type AsBoolean, type AsChoice, type AsContainer, type AsDefined, type AsDictionary, type AsDoneFn, type AsErr, type AsErrKind, type AsError, type AsError__Meta, type AsEscapeFunction, type AsFinalizedConfig, type AsFnMeta, type AsFunction, type AsIndexOf, type AsIp6Prefix, type AsLeft, type AsLeftRight, type AsLiteralFn, type AsNarrowingFn, type AsNegativeNumber, type AsNonNull, type AsNumber, type AsNumberWhenPossible, type AsNumericArray, type AsObject, type AsObjectKey, type AsObjectKeys, type AsOptionalParamFn, type AsPropertyKey, type AsRecord, type AsRef, type AsRight, type AsSomething, type AsString, type AsStringLiteral, type AsStringUnion, type AsToken, type AsTokenOpt, type AsTuple, type AsType, type AsUnion, type AsVueComputedRef, type AsyncFunction, type AustralianNewsCompanies, type AustralianNewsUrls, type AvailableConverters, type Awaited$1 as Awaited, type BareCssSelector, type BaseTypeToken, type BeforeLast, type BelgianNewsCompanies, type BelgianNewsUrls, type BespokeLiteral, type BespokeUnion, type BestBuyUrl, type BooleanLike, type Box, type Bracket, type Break, type CSV, type CamelCase, type CamelKeys, type CanadianNewsCompanies, type CanadianNewsUrls, type CapFirstAlpha, type CapitalizeWords, type Cardinality, type Cardinality0, type Cardinality1, type CardinalityExplicit, type CardinalityFilter0, type CardinalityFilter1, type CardinalityIn, type CardinalityInput, type CardinalityNode, type CardinalityOut, type Chars, type ChewyUrl, type ChineseNewsCompanies, type ChineseNewsUrls, type Choice, type ChoiceApi, type ChoiceApiConfig, type ChoiceApiOptions, type ChoiceBuilder, type ChoiceCallback, type ChoiceValue, type CivilianHours, type CivilianTime, type CivilianTimeOptions, type ClosingBracket, type ClosingMark, type ClosingMarkPlus, type ColorFnOptOpacity, type ColorFnValue, type ColorParam, type CombinedKeys, type CommonHtmlElement, type ComparatorOperation, type Compare$1 as Compare, type Comparison, type CompleteError, type Concat, type ConfiguredMap, type Consonant, type Consonants, type Constructor, type Container, type ContainerBlockKey, type ContainerKeyGuarantee, type Contains, type ContainsAll, type Conversion, type ConversionTuple, type ConvertSet, type ConvertTypeOf, type ConvertWideTokenNames, type ConverterCoverage, type ConverterDefn, type CostCoUrl, type CostcoUrl, type CountryPhoneNumber, type Cr, type CrThenIndent, type CreateChoice, type CreateDictHash, type CreateDictShape, type CreateKV, type CreateLookup, type CssAbsolutionPositioningProperties, type CssAlignContent, type CssAlignItems, type CssAlignProperties, type CssAlignSelf, type CssAnimation, type CssAnimationComposition, type CssAnimationDelay, type CssAnimationDirection, type CssAnimationDuration, type CssAnimationFillMode, type CssAnimationIterationCount, type CssAnimationPlayState, type CssAnimationProperties, type CssAnimationTimingFunction, type CssAppearance, type CssAspectRatio, type CssBackdropFilter, type CssBackgroundProperties, type CssBorderCollapse, type CssBorderImageRepeat, type CssBorderImageSource, type CssBorderInlineSizing, type CssBorderProperties, type CssBorderStyle, type CssBorderWidth, type CssBoxAlign, type CssBoxDecorationBreak, type CssBoxProperties, type CssBoxShadow, type CssBoxSizing, type CssCalc, type CssClamp, type CssClassSelector, type CssColor, type CssColorFn, type CssColorLight, type CssColorMix, type CssColorMixLight, type CssColorModel, type CssColorSpace, type CssColorSpacePrimary, type CssContent, type CssCursor, type CssDefinition, type CssDisplay, type CssDisplayStatePseudoClasses, type CssFlex, type CssFlexBasis, type CssFlexDirection, type CssFlexFlow, type CssFlexGrow, type CssFlexShrink, type CssFloat, type CssFontFamily, type CssFontFeatureSetting, type CssFontKerning, type CssFontLanguageOverride, type CssFontPalette, type CssFontStyle, type CssFontSynthesis, type CssFontWeight, type CssFontWidth, type CssFunctionalPseudoClass, type CssGap, type CssGlobal, type CssHangingPunctuation, type CssHexColor, type CssHsb, type CssHsl, type CssIdSelector, type CssImageOrientation, type CssImageRendering, type CssImageResolution, type CssInputPseudoClasses, type CssJustifyContent, type CssJustifyItems, type CssJustifyProperties, type CssJustifySelf, type CssKeyframeTimestamp, type CssKeyframeTimestampSuggest, type CssLetterSpacing, type CssLinguisticPseudoClasses, type CssListStyle, type CssLocationPseudoClasses, type CssMargin, type CssMarginBlock, type CssMarginBlockEnd, type CssMarginBlockStart, type CssMarginBottom, type CssMarginInline, type CssMarginInlineEnd, type CssMarginInlineStart, type CssMarginLeft, type CssMarginProperties, type CssMarginRight, type CssMarginTop, type CssMixBlendMode, type CssNamedColors, type CssNamedSizes, type CssObjectFit, type CssObjectPosition, type CssOffsetDistance, type CssOffsetPath, type CssOffsetPosition, type CssOffsetProperties, type CssOkLch, type CssOpacity, type CssOutline, type CssOutlineColor, type CssOutlineOffset, type CssOutlineProperties, type CssOutlineStyle, type CssOutlineWidth, type CssOverflowAnchor, type CssOverflowBlock, type CssOverflowClipMargin, type CssOverflowInline, type CssOverflowProperties, type CssOverflowX, type CssOverflowY, type CssPadding, type CssPaddingBlock, type CssPaddingBlockEnd, type CssPaddingBlockStart, type CssPaddingBottom, type CssPaddingInline, type CssPaddingInlineEnd, type CssPaddingInlineStart, type CssPaddingLeft, type CssPaddingProperties, type CssPaddingRight, type CssPaddingTop, type CssPerspectiveOrigin, type CssPlaceContent, type CssPlaceItems, type CssPlaceProperties, type CssPlaceSelf, type CssPointerEvent, type CssPosition, type CssProperty, type CssPseudoClass, type CssPseudoClassDefn, type CssResourceStatePseudoClasses, type CssRgb, type CssRgba, type CssRotation, type CssRound, type CssSelector, type CssSizing, type CssSizingFunction, type CssSizingLight, type CssStroke, type CssStrokeDasharray, type CssStrokeProperties, type CssTagSelector, type CssTextAlign, type CssTextDecorationLine, type CssTextDecorationStyle, type CssTextIndent, type CssTextJustify, type CssTextOrientation, type CssTextOverflow, type CssTextPosition, type CssTextProperties, type CssTextRendering, type CssTextTransform, type CssTextWrap, type CssTextWrapMode, type CssTextWrapStyle, type CssTimePseudoClasses, type CssTiming, type CssTransform, type CssTransformBox, type CssTransformOrigin, type CssTransformProperties, type CssTransformStyle, type CssTranslate, type CssTranslateFn, type CssTreePseudoClasses, type CssUserActionPseudoClasses, type CssVar, type CssVarWithFallback, type CssWhiteSpace, type CssWhiteSpaceCollapse, type CssWordBreak, type CssWritingMode, type CsvToJsonTuple, type CsvToStrUnion, type CsvToTuple, type CsvToTupleStr, type CsvToUnion, type Current, type CurrentMetrics, type CurrentUom, type CvsUrl, DEFAULT_MANY_TO_ONE_MAPPING, DEFAULT_ONE_TO_MANY_MAPPING, DEFAULT_ONE_TO_ONE_MAPPING, type DanishNewsCompanies, type DanishNewsUrls, type DashToSnake, type DashUppercase, type Date$2 as Date, type DateSeparator, type DateThenMonth, type DateThenMonthThenYear, type DateTime, type DateTimeMinutes, type DateTimeSeconds, type DayOfWeek, type DayofWeekFull, type DecomposeMapConfig, type Decrement, type Default, type DefaultManyToOneMapping, type DefaultOneToManyMapping, type DefaultOneToOneMapping, type DefineObject, type DefineObjectApi, type DefineStatelessApi, type Defined, type DellUrl, type Delta, type DialCountryCode, type Dict, type DictArray, type DictArrayFilterCallback, type DictArrayKv, type DictChangeValue, type DictFromKv, type DictKvTuple, type Dictionary, type DictionaryTypeDefn, type Digit, type DigitNonZero, type Digital, type DigitalLiteral, type Digitize, type Distance, type DistanceMetrics, type DistanceUom, type DnsName, type DoesExtend, type DoesNotExtend, type DomainName, type DoneFnTuple, type DotPathFor, type DoubleQuote, type DropChars, type DutchNewsCompanies, type DutchNewsUrls, type EbayUrl, type ElementOf, type Email, type EmptyObject, type EmptyString, type EmptyStringOr, type EndsWith, type Energy, type EnergyMetrics, type EnergyUom, type EnsureKeys, type EnsureLeading, type EnsureLeadingEvery, type EnsureSurround, type EnsureTrailing, type Equals, type Err, type ErrFrom, type ErrInput, type ErrorCondition, type ErrorConditionHandler, type ErrorConditionShape, type EscapeFunction, type EsotericHtmlElement, type EtsyUrl, type Exif, type ExifAttributionInfo, type ExifCameraInfo, ExifCompression, ExifContrast, type ExifDateTimeInfo, ExifEmbedPolicy, type ExifExtraneous, ExifFlashValues, ExifGainControl, type ExifGps, ExifLightSource, type ExifPhotoContext, ExifPreviewColorSpace, ExifSaturation, ExifSceneCaptureType, ExifSharpness, ExifSubjectDistance, type ExpandDictionary, type ExpandRecursively, type ExpandTuple, type ExpandUnion, type ExplicitlyEmptyObject, type Extends, type ExtendsAll, type ExtendsNone, type ExtendsSome, type Fail, type FalsyValue, type FifoQueue, type Filter, type FilterByProp, type FilterLiterals, type FilterProps, type FilterWideTypes, type FinalizedMapConfig, type Find, type FindFirstIndex, type FindIndexMetaOfString, type FindIndexMetaOfTuple, type FindIndexes, type FindIndexesWithMeta, type FindLastIndex, type First, type FirstChar, type FirstKey, type FirstKeyValue, type FirstOfEach, type FirstString, type FixedLengthArray, type Flatten, type FlattenUnion, type FluentApi, type FluentFn, type FluentState, type FnAllowingProps, type FnArgsDefn, type FnDefn, type FnFrom, type FnMeta, type FnPropertiesDefn, type FnProps, type FnReturnTypeDefn, type FnWithDescription, type FnWithProps, type FontProperties, type FrenchNewsCompanies, type FrenchNewsUrls, type Frequency, type FrequencyMetrics, type FrequencyUom, type FromDefineObject, type FromDefn, type FromDictArray, type FromLiteralTokens, type FromMaybeRef, type FromRecordKeyDefn, type FromShapeCallback, type FromSimpleRecordKey, type FromSimpleToken, type FromTypeDefn, type FromWideTokens, type FullDate, type FullWidthQuotation, type FullyQualifiedUrl, type GermanNewsCompanies, type GermanNewsUrls, type Get$1 as Get, type GetEach, type GetEscapeFunction, type GetPhoneCountryCode, type GetPhoneNumberType, type GetTypeOf, type GetUrlPath, type GetUrlPort, type GetUrlProtocol, type GetUrlProtocolPrefix, type GetUrlQueryParams, type GetUrlSource, type GetYouTubePageType, type GitRef, type GithubActionsUrl, type GithubInsightPageType, type GithubInsightUrl, type GithubOrgUrl, type GithubRepoBranchesUrl, type GithubRepoDiscussionUrl, type GithubRepoDiscussionsUrl, type GithubRepoIssueUrl, type GithubRepoIssuesListUrl, type GithubRepoProjectUrl, type GithubRepoProjectsUrl, type GithubRepoPullRequestUrl, type GithubRepoPullRequestsUrl, type GithubRepoReleaseTagUrl, type GithubRepoReleasesUrl, type GithubRepoTagsUrl, type GithubRepoUrl, type GithubUrl, type HandMUrl, type Handle, type HandleDoneFn, type HasArray, type HasCharacters, type HasEscapeFunction, type HasIndex, type HasIpAddress, type HasNetworkProtocolReference, type HasOtherCharacters, type HasParameters, type HasPhoneCountryCode, type HasProp, type HasQueryParameter, type HasRequiredProps, type HasSameKeys, type HasSameValues, type HasUnionType, type HasUppercase, type HasUrlPath, type HasUrlSource, type HasWideValues, type HaveSameNumericSign, type HexColor, type Hexadecimal, type HexadecimalChar, type HomeDepotUrl, type HoursMinutes, type HoursMinutes12, type HoursMinutesSeconds, type HoursMinutesSeconds12, type HoursMinutesSecondsMilliseconds, type HoursMinutesSecondsMilliseconds12, type HtmlBodyElement, type HtmlElement, type HtmlFrameworkElement, type HtmlFunctionalElement, type HtmlHeaderElement, type HtmlInputElement, type HtmlListElement, type HtmlMediaElement, type HtmlStructuralElement, type HtmlSymantecElement, type HtmlTableElement, type IP6Multicast, type IP6Unicast, type IdentityFn, type IdentityFunction, type If, type IfAllExtend, type IfAllLiteral, type IfEqual, type IfEquals, type IfErrorCondition, type IfLeft, type IfLength, type IfLiteralKind, type IfNever, type IfUnset, type IfUnsetOrUndefined, type Iff, type IkeaUrl, type ImgFormat, type ImgFormatWeb, type Immutable, type Increment, type Indent$1 as Indent, type Indent2, type Indent4, type IndentSpaces, type IndentTab, type IndexOf, type Indexable, type IndexableObject, type IndianNewsCompanies, type IndianNewsUrls, type InlineSvg, type Integer, type IntegerBrand, type InternationalPhoneNumber, type Intersect$1 as Intersect, type IntersectAll, type IntersectWithAll, type IntersectingKeys, type Intersection, type InvertNumericSign, type Ip4Address, type Ip4Netmask, type Ip4Netmask16, type Ip4Netmask24, type Ip4Netmask32, type Ip4Netmask8, type Ip4NetmaskSuggestion, type Ip4Octet, type Ip6Address, type Ip6AddressFull, type Ip6AddressLoose, type Ip6Group, type Ip6GroupExpansion, type Ip6Loopback, type Ip6Subnet, type Ip6SubnetPrefix, type IsAllCaps, type IsAllLowercase, type IsArray, type IsBoolean, type IsBooleanLiteral, type IsCapitalized, type IsComputedRef, type IsContainer, type IsCssHexadecimal, type IsDefined, type IsDictionaryDefinition, type IsDomainName, type IsDotPath, type IsEmptyContainer, type IsEmptyObject, type IsEmptyString, type IsEqual, type IsErr, type IsErrorCondition, type IsEscapeFunction, type IsFalse, type IsFalsy, type IsFloat, type IsFnWithParams, type IsFunction, type IsGreaterThan, type IsGreaterThanOrEqual, type IsHexadecimal, type IsInteger, type IsIp4Address, type IsIp4Octet, type IsIp6Address, type IsIp6HexGroup, type IsIpAddress, type IsIso8601DateTime, type IsIsoDate, type IsIsoExplicitDate, type IsIsoImplicitDate, type IsIsoTime, type IsJsDate, type IsLength, type IsLessThan, type IsLessThanOrEqual, type IsLiteral, type IsLiteralFn, type IsLiteralKind, type IsLiteralUnion, type IsLowerAlpha, type IsLuxonDateTime, type IsMoment, type IsNarrowingFn, type IsNegativeNumber, type IsNever, type IsNonEmptyContainer, type IsNonEmptyObject, type IsNonLiteralUnion, type IsNotEqual, type IsNothing, type IsNull, type IsNumber, type IsNumberLike, type IsNumericLiteral, type IsObject, type IsObjectLiteral, type IsOk, type IsOptionalLiteral, type IsOptionalScalar, type IsPhoneNumber, type IsPositiveNumber, type IsReadonlyArray, type IsReadonlyObject, type IsResult, type IsScalar, type IsSingleChar, type IsSingleSided, type IsSingularNoun, type IsStrictPromise, type IsString, type IsStringLiteral, type IsSymbol, type IsThenable, type IsTrue, type IsTruthy, type IsTuple, type IsUndefined, type IsUnion, type IsUnionArray, type IsUnset, type IsUrl, type IsValidDotPath, type IsValidIndex, type IsVueRef, type IsWideContainer, type IsWideScalar, type IsWideType, type IsWideUnion, type Iso3166Alpha2Lookup, type Iso3166Alpha3Lookup, type Iso3166CodeLookup, type Iso3166CountryLookup, type Iso3166_1_Alpha2, type Iso3166_1_Alpha3, type Iso3166_1_CountryCode, type Iso3166_1_CountryName, type Iso3166_1_Lookup, type Iso3166_1_Token, type Iso8601, type Iso8601Date, type Iso8601DateTime, type Iso8601Time, type Iso8601Year, type ItalianNewsCompanies, type ItalianNewsUrls, type JapaneseNewsCompanies, type JapaneseNewsUrls, type Join, type JsonValue, type JsonValues, type JustFunction, type KebabCase, type KebabKeys, type KeyOf, type KeyValue, type Keys, type KeysEqualValue, type KeysNotEqualValue, type KeysWithValue, type KeysWithoutValue, type KindFrom, type KlassMeta, type KrogerUrl, type KvFn, type KvFnDefn, type KvFrom, type KvTuple, type Last, type LastChar, type LastInUnion$1 as LastInUnion, type LastOfEach, type LeadingNonAlpha, type Left, type LeftContains, type LeftDoubleMark, type LeftEquals, type LeftExtends, type LeftHeavyDoubleTurned, type LeftHeavySingleTurned, type LeftIncludes, type LeftLowDoublePrime, type LeftReversedDoublePrime, type LeftRight, type LeftRight__Operations, type LeftSingleMark, type LeftWhitespace, type Length, type LessThan, type LessThanOrEqual$1 as LessThanOrEqual, type LifoQueue, type LikeRegExp, type List, type LiteralFn, type LocalPhoneNumber, type LogicFunction, type LogicalCombinator, type LogicalReturns, type LowerAllCaps, type LowerAlphaChar, type LowesUrl, type Luminosity, type LuminosityMetrics, type LuminosityUom, type LuxonJs, type MacysUrl, type MakeKeysOptional, type MakeKeysRequired, type MakePropsMutable, type ManyToMany, type ManyToOne, type ManyToZero, type MapCard, MapCardinality, type MapCardinalityFrom, type MapCardinalityIllustrated, type MapConfig, type MapCoverage, type MapError, type MapFn, type MapFnInput, type MapFnOutput, type MapIR, type MapInput, type MapInputFrom, type MapKeyDefn, type MapOR, type MapOutput, type MapOutputFrom, type MapTo, type MapValueDefn, type Mapper, type MapperApi, type Mass, type MassMetrics, type MassUom, type MaxLength, type MaybeError, type MaybeRef, type Merge, type MergeKVs, type MergeObjects, type MergeScalars, type MergeTuples, type Metric, type MetricCategory, type MexicanNewsCompanies, type MexicanNewsUrls, type MilitaryHours, type MilitaryTime, type MilitaryTimeOptions, type Milliseconds, type Minutes, type MomentJs, type MonthAbbr, type MonthAbbrThenDate, type MonthAbbrThenDateAndYear, type MonthDay, type MonthName, type MonthNumeric, type MonthPostfix, type MonthThenDate, type MonthThenDateThenYear, type MonthThenDate_Simple, type MultiChoiceCallback, type MultipleChoice, type Mutable, type MutableProps, type MutablePropsExclusive, type NamedColor, type NamedColorMinimal, type NamedColor_Blue, type NamedColor_Brown, type NamedColor_Cyan, type NamedColor_Gray, type NamedColor_Green, type NamedColor_Orange, type NamedColor_Pink, type NamedColor_Purple, type NamedColor_Red, type NamedColor_White, type NamedColor_Yellow, type NamingConvention, type Narrow$1 as Narrow, type NarrowDictProps, type NarrowObject, type Narrowable, type NarrowableDefined, type NarrowableScalar, type NarrowingFn, type NarrowlyContains, type NegDelta, type Negative, type NetworkProtocol, type NetworkProtocolPrefix, type NewsUrls, type NextDigit, type NikeUrl, type NonAlphaChar, type NonArray, type NonNumericKeys, type NonStringKeys, type NonZeroNumericChar, type NorwegianNewsCompanies, type NorwegianNewsUrls, type Not, type NotEqual, type NotLength, type NotNull, type Nothing, type NumberLike, type NumericChar, type NumericCharOneToFive, type NumericCharOneToFour, type NumericCharOneToThree, type NumericCharOneToTwo, type NumericCharZeroToFive, type NumericCharZeroToFour, type NumericCharZeroToOne, type NumericCharZeroToThree, type NumericCharZeroToTwo, type NumericComparatorOperation, type NumericKeys, type NumericRange, type NumericSign, type NumericSort, type NumericSupportOptions, type ObjKeyDefn, type ObjectKey, type ObjectToCssString, type ObjectToJsString, type ObjectToJsonString, type ObjectToKeyframeString, type ObjectToTuple, type Ok, type OkFrom, type OldSchoolHtmlElement, type OnPass, type OnPassRemap, type OneToMany, type OneToOne, type OneToZero, type OpeningBracket, type OpeningMark, type OpeningMarkPlus, type Opt$1 as Opt, type OptCr, type OptCrThenIndent, type OptDictProps, type OptModifier, type OptPercent, type OptRequired, type OptSpace, type OptSpace2, type OptSpace4, type OptUrlQueryParameters, type OptWhitespace, type Optional, type OptionalKeys, type OptionalParamFn, type OptionalProps, type OptionalSimpleScalarTokens, type OptionalSpace, type Or, type ParameterlessFn, type ParamsForComparison, type ParseInt, type PartialError, type PartialErrorDefn, type PascalCase, type PascalKeys, type Passthrough, type PathJoin, type PhoneAreaCode, type PhoneCountryCode, type PhoneCountryLookup, type PhoneFormat, type PhoneNumber, type PhoneNumberDelimiter, type PhoneNumberType, type PhoneShortCode, type Pluralize, type PlusMinus, type Pop, type PortSpecifierOptions, type Power, type PowerMetrics, type PowerUom, type Prepend, type PrependAll, type Pressure, type PressureMetrics, type PressureUom, type PriorDigit, type PrivateKey, type PrivateKeyOf, type PrivateKeys, type PromiseAll, type PropertyChar, type ProtocolOptions, type ProxyError, type PublicKeyOf, type PublicKeys, type Punctuation, type Push, type QuotationMark, type QuotationMarkPlus, type RawPhoneNumber, type ReadonlyKeys, type ReadonlyProps, type RealizedErr, type RecKeyVariant, type RecVariant, type RecordKeyDefn, type RecordKeyWideTokens, type RecordValueTypeDefn, type ReduceValues, type RegularFn$1 as RegularFn, type Relate, type RelativeUrl, type RemoveEmpty, type RemoveFnProps, type RemoveFromEnd, type RemoveFromStart, type RemoveHttpProtocol, type RemoveIndex, type RemoveIndexKeys, type RemoveMarked, type RemoveNetworkProtocol, type RemoveNever, type RemovePhoneCountryCode, type RemoveStart, type RemoveUndefined, type RemoveUrlPort, type RemoveUrlSource, type Repeat, type Replace, type ReplaceAll, type ReplaceLast, type RepoPageType, type RepoSource, type RepoUrls, type RequireProps, type RequiredKeys, type RequiredKeysTuple, type RequiredProps, type RequiredSimpleScalarTokens, type Resistance, type ResistanceMetrics, type ResistanceUom, type Result, type ResultApi, type ResultErr, type ResultTuple, type RetailUrl, type Retain, type RetainAfter, type RetainAfterLast, type RetainByProp, type RetainChars, type RetainLiterals, type RetainProps, type RetainUntil, type RetainWhile, type RetainWideTypes, type ReturnTypes, type ReturnValues, type Returns, type ReturnsFalse, type ReturnsTrue, type Reverse, type RgbColor, type RgbaColor, type Right, type RightContains, type RightDoubleMark, type RightEquals, type RightExtends, type RightHeavyDoubleTurned, type RightHeavySingleTurned, type RightIncludes, type RightReversedDoublePrime, type RightSingleMark, type RightWhitespace, type RuntimeUnion, type Scalar, type ScalarCallback, type ScalarNotSymbol, type Second, type SecondOfEach, type Seconds, type SemanticVersion, type SetCandidate, type Shape, type ShapeApi, type ShapeApi__Scalars, type ShapeCallback, type ShapeSuggest, type ShapeTupleOrUnion, type SharedKeys, type Shift, type ShortDate, type SimpleArrayToken, type SimpleContainerToken, type SimpleDictToken, type SimpleMapToken, type SimpleScalarToken, type SimpleSetToken, type SimpleToken, type SimpleType, type SimpleTypeArray, type SimpleTypeDict, type SimpleTypeMap, type SimpleTypeScalar, type SimpleTypeSet, type SimpleTypeUnion, type SimpleUnionToken, type SimplifyObject, type SingleQuote, type SingularNoun$1 as SingularNoun, type SingularNounEnding, type SizingUnits, type Slice, type SmartMark, type SmartMarkPlus, type SnakeCase, type SnakeKeys, type SocialMediaPlatform, type SocialMediaProfileUrl, type SocialMediaUrl, type Some, type SomeEqual, type SomeExtend, type Something, type SouthKoreanNewsCompanies, type SouthKoreanNewsUrls, type SpanishNewsCompanies, type SpanishNewsUrls, type SpecialChar, type Speed, type SpeedMetrics, type SpeedUom, type Split, type StackFrame, type StackTrace, type StandardMark, type StartsWith, type StrLen, type StringComparatorOperation, type StringDelimiter, type StringKeys, type StringLength, type StringLiteralFromTuple, type StringLiteralTemplate, type StringLiteralToken, type StringLiteralVar, type StringTokenUtilities, type StripAfter, type StripBefore, type StripChars, type StripLeading, type StripLeftNonAlpha, type StripSlash, type StripSurround, type StripTrailing, type StripUntil, type StripWhile, type StrongMap, type StrongMapTransformer, type StrongMapTypes, type StructuredStringType, type Subtract, type Suggest, type SuggestHexadecimal, type SuggestIpAddress, type SuggestNumeric, type Surround, type SwissNewsCompanies, type SwissNewsUrls, type SymbolKind, type TLD, type TT_Atomic, type TT_Container, type TT_Function, type TT_Set, type TT_Singleton, type TZ, type TakeFirst, type TakeLast, type TakeProp, type TargetUrl, type Temperature, type TemperatureMetrics, type TemperatureUom, type Thenable, type Throw, type Time, type TimeInMilliseconds, type TimeInMinutes, type TimeInSeconds, type TimeLike, type TimeMetric, type TimeMetrics, type TimeNomenclature, type TimeResolution, type TimeUom, type Timezone, type ToBoolean, type ToCSV, type ToChoices, type ToContainer, type ToFn, type ToInteger, type ToIntegerOp, type ToJsonValue, type ToNumber, type ToNumericArray, type ToPhoneFormat, type ToString, type ToStringArray, type ToStringLiteral, type ToUnion, type TokenizeStringLiteral, type Trim, type TrimLeft, type TrimRight, type Truncate$1 as Truncate, type TruncateAtLen, type TruthyReturns, type Tuple, type TupleDefn, type TupleRange, type TupleToUnion, type TurkishNewsCompanies, type TurkishNewsUrls, type TwChroma, type TwChroma100, type TwChroma200, type TwChroma300, type TwChroma400, type TwChroma50, type TwChroma500, type TwChroma600, type TwChroma700, type TwChroma800, type TwChroma900, type TwChroma950, type TwChromaLookup, type TwColor, type TwColorOptionalOpacity, type TwColorTarget, type TwColorWithLuminosity, type TwColorWithLuminosityOpacity, type TwHue, type TwLumi100, type TwLumi200, type TwLumi300, type TwLumi400, type TwLumi50, type TwLumi500, type TwLumi600, type TwLumi700, type TwLumi800, type TwLumi900, type TwLumi950, type TwLuminosity, type TwLuminosityLookup, type TwModifier, type TwModifier__Core, type TwModifier__Order, type TwModifier__Reln, type TwModifier__Size, type TwModifiers, type TwNeutralColor, type TwSizeResponsive, type TwStaticColor, type TwTarget__Color, type TwTarget__ColorLuminosity, type TwTarget__ColorLuminosityWithOpacity, type TwTarget__ColorName, type TwTarget__ColorWithOptPrefixes, type TwTarget__Color__Light, type TwVibrantColor, type Type, type TypeDefaultValue, type TypeDefinition, type TypeDefn, type TypeDefnValidations, type TypeErrorInfo, type TypeGuard, type TypeHasDefaultValue, type TypeHasUnderlying, type TypeHasValidations, type TypeIsRequired, type TypeKind, type TypeKindContainer, type TypeKindContainerNarrow, type TypeKindContainerWide, type TypeKindFalsy, type TypeKindLiteral, type TypeKindWide, type TypeOf, type TypeOfExtended, type TypeOptions, type TypeRequired, type TypeStrength, type TypeToken, type TypeTokenAtomics, type TypeTokenContainers, type TypeTokenDelimiter, type TypeTokenFunctions, type TypeTokenKind, type TypeTokenLookup, type TypeTokenSets, type TypeTokenSingletons, type TypeTokenStart, type TypeTokenStop, type TypeToken__Boolean, type TypeToken__False, type TypeToken__Fn, type TypeToken__FnSet, type TypeToken__Gen, type TypeToken__Never, type TypeToken__Null, type TypeToken__Number, type TypeToken__NumberSet, type TypeToken__Rec, type TypeToken__String, type TypeToken__StringSet, type TypeToken__True, type TypeToken__Undefined, type TypeToken__UnionSet, type TypeToken__Unknown, type TypeTuple, type TypeUnderlying, type TypedFunction, type TzHourOffset, type UkNewsCompanies, type UkNewsUrls, type UnderlyingType, type UnionArrayToTuple, type UnionElDefn, type UnionFilter, type UnionFromProp, type UnionHasArray, type UnionMutate, type UnionMutationOp, type UnionRetain, type UnionShift, type UnionToIntersection, type UnionToTuple$1 as UnionToTuple, type UnionWithAll, type Unique, type UniqueKeys, type UniqueKeysUnion, type UniqueKv, type UnitType, type Unset, type Uom, type UpperAlphaChar, type UpsertKeyValue, type Uri, type UrlBuilder, type UrlOptions, type UrlPath, type UrlPort, type UrlQueryParameters, type UrlsFrom, type UsNewsCompanies, type UsNewsUrls, type UsStateAbbrev, type UsStateName, type ValidKey, type Validate, type ValidationFunction, type ValueAtDotPath, type ValueCallback, type ValueOrReturnValue, type Values, type VariableChar, type Voltage, type VoltageMetrics, type VoltageUom, type Volume, type VolumeMetrics, type VolumeUom, type VueComputedRef, type VueRef, type WalgreensUrl, type WalmartUrl, type WayFairUrl, type WeakMapKeyDefn, type WeakMapValueDefn, type WhenNever, type WhereLeft, type Whitespace, type WholeFoodsUrl, type WideContainerNames, type WideTokenNames, type WideTypeName, type Widen, type WidenContainer, type WidenLiteral, type WidenScalar, type WidenTuple, type WidenUnion, type WidenValues, type WithDefault, type WithKeys, type WithNumericKeys, type WithStringKeys, type WithValue, type WithoutKeys, type WithoutValue, type WrapperFn, type YMD, type Year, type YouTubeCreatorUrl, type YouTubeEmbedUrl, type YouTubeFeedType, type YouTubeFeedUrl, type YouTubeHistoryUrl, type YouTubeHome, type YouTubeLikedPlaylistUrl, type YouTubePageType, type YouTubePlaylistUrl, type YouTubeShareUrl, type YouTubeSubscriptionsUrl, type YouTubeUrl, type YouTubeUsersPlaylistUrl, type YouTubeVideoUrl, type YouTubeVideosInPlaylist, type ZaraUrl, type Zero, type ZeroToMany, type ZeroToOne, type ZeroToZero, type Zip5, type ZipCode, type ZipPlus4, type ZipToState };