Type Alias IndirectObjFromIndirDefs<Context, Names, RuleDefs>

IndirectObjFromIndirDefs: {
    [K in Names]: RuleDefs[K] extends IndirDef<
        Context,
        K,
        infer RET,
        infer ARGS,
    >
        ? (context: Context, ...args: ARGS) => RET
        : never
}