explain_abstraction
Explains a stack abstraction by name; if the name matches multiple layers, returns candidates instead of choosing one.
Instructions
Explain a stack abstraction. If the name matches several layers, returns candidates instead of picking one.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| name | Yes | Abstraction name or alias, e.g. "AIC", "tmov", "TMOV". Use search_abstractions() to discover names. | |
| layer | No | Optional card layer or framework prefix, e.g. "ptoas", "pto-isa/instruction", "simpler/scheduler". Required when the same folded name exists in more than one layer. |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||