Type Alias KnownNodeKeys<Nodes>

KnownNodeKeys: {
    [T in Nodes["type"]]: {
        [Key in ObjectValuedKeys<Extract<Nodes, Typed<T>>>]:
            | boolean
            | VisitChildren<
                Extract<ChildValue<Extract<Nodes, Typed<T>>, Key>, object>,
            >
    }
}

Per node type, every key whose value can be an object, mapped to whether it is visited, or to the VisitChildren of its value, which is stepped into first.