ReadonlyconfigReadonlydataflowReadonlyformalsthe formals of the call, give its qualified name if known already
ReadonlymemoReadonlynormalizeReadonlyopenedwhat the arguments read from, asked for again with every call context
Readonlyrevaluehow the values of the entries of a call come about, so a call of the function around it can ask again for its own
What one run of the query computes once and hands to every part: the analysis results, the memo of what is asked about the same calls again and again, and the formals of the calls. Nothing of it outlives the run.