Type Alias IndirDefArg

type IndirDefArg = {
    SUBRULE: <T, U extends any[]>(
        cstDef: IndirDef<any, any, T, U>,
        ...arg: U,
    ) => T;
}