Markdown for LLMs

variables

The source Markdown for this article. Copy it into your assistant or download it as a text file.

# 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):

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