variables

Every variable occurrence in the model: the node and the context path where the name is bound or used, with its declared type. Variables rows answer which names a rule introduces and where each one is used. They say nothing about what the variable ranges over — that comes from the type and the case facts.

Fields

From the live dictionary on the reference fixture:

field
node
context
name
type
package
path

Example

One meaningful query on the reference fixture (19 rows):

LawQL

from v in variables where v.name == "v0" select v.node as node, v.context as context