| General | |
| Lines of code | 201 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 1 (0% documented) |
| Overlay number | 0 |
| Strategy number | 17 (100% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Modules |
||
| indexed | Interface to ATerm's IndexedSets | indexed.str |