Does type.declare<T, {site: “in”}>().type() still not work?

const schema = z.object({
    t: z.string().optional(),
    t2: z.string().optional(),
    t3: z.string().array().optional(),
    t4: z.string(),
    t5: z.number()
});

const t = type.declare<z.infer<typeof schema>, { side: 'out' }>().type({
    't?': 'string',
    't2?': 'string',
    't3?': 'string[]',
    t4: 'string',
    t5: 'string.numeric.parse'
});

const _t = t({})
/**
const _t: ((In: {
    t4: string;
    t5: string;
    t?: string | undefined;
    t2?: string | undefined;
    t3?: string[] | undefined;
}) => {
    t4: string;
    t5: number;
    t?: string | undefined;
    t2?: string | undefined;
    t3?: string[] | undefined;
}) | ArkErrors

    THIS IS A FUNCTION
 */

const t1 = type({
    't?': 'string',
    't2?': 'string',
    't3?': 'string[]',
    t4: 'string',
    t5: 'string.numeric.parse'
})

const _t1 = t1({})
/**
const _t1: ArkErrors | {
    t4: string;
    t5: number;
    t?: string | undefined;
    t2?: string | undefined;
    t3?: string[] | undefined;
}
 */