Type Alias SchemaMap<T>

SchemaMap: T extends () => infer U
    ? U extends Schema ? SchemaMap<U> : never
    : T extends keyof BasicSchemaMap
        ? BasicSchemaMap[T]
        : T extends { choice: Schema[] }
            ? SchemaMap<T["choice"][number]>
            : T extends { choice: readonly Schema[] }
                ? SchemaMap<T["choice"][number]>
                : T extends { sequenceOf: Schema }
                    ? SchemaMap<T["sequenceOf"]>[]
                    : T extends { optional: Schema }
                        ? SchemaMap<T["optional"]> | undefined
                        : T extends bigint
                            ? T
                            : T extends {
                                contains: Schema;
                                kind: infer U extends ASN1ContextTag["kind"];
                                type: "context";
                                value: number;
                            }
                                ? Omit<ASN1ContextTag, "contains" | "value" | "kind"> & {
                                    contains: SchemaMap<T["contains"]>;
                                    kind: U;
                                    value: T["value"];
                                }
                                : T extends { oid: string; type: "oid" }
                                    ? Omit<ASN1OID, "oid"> & { oid: T["oid"] }
                                    : T extends { kind: "printable"
                                    | "ia5"
                                    | "utf8"; type: "string" }
                                        ? Omit<ASN1String, "kind"> & { kind: T["kind"] }
                                        : T extends { kind: "general"
                                        | "utc"; type: "date" }
                                            ? Omit<ASN1Date, "kind"> & { kind: T["kind"] }
                                            : T extends readonly [Schema, ...Schema[]]
                                                ? {
                                                    [K in keyof T]: T[K] extends Schema
                                                        ? SchemaMap<T[K]>
                                                        : never
                                                }
                                                : never