| General | |
| Lines of code | 2329 |
| Stratego | |
| Module number | 4 (25% documented) |
| Constructor number | 16 (0% documented) |
| Overlay number | 0 |
| Strategy number | 184 (22% documented) |
| Rule number | 9 (22% documented) |
| DynamicRule number | 23 (0% documented) |
Modules |
||
| dynamic-rules | n/a | dynamic-rules.str |
| scoped-finite-map | n/a | scoped-finite-map.str |
| stacktrace | n/a | stacktrace.str |
| with | This module provides a basic strategy for specifying run-time verified strategies | with.str |