Optional Readonlyargumentwhat is known about the arguments, to share between the definitions asked about in one go; a call site reaching several of them resolves its arguments once
Readonlyctxhow to ask what a built-in states, and to resolve the value an argument carries
Optional Readonlyinvertedthe graph with edges reversed, to speed up repeat queries over the same call sites
What to ask for beyond the definition itself, see isHigherOrder.