| General | |
| Lines of code | 860 |
| Stratego | |
| Module number | 6 (83% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 66 (48% documented) |
| Rule number | 31 (25% documented) |
| DynamicRule number | 0 |
Modules |
||
| AstToBox | Pretty-print an ATerm to a Box using the given pretty-print tables | AstToBox.str |
| BoxToText | This is a simple Box to text converter | BoxToText.str |
| Instantiate | n/a | Instantiate.str |
| Main | Main interface to the GPP library | Main.str |
| PpTableIO | n/a | PpTableIO.str |
| Util | n/a | Util.str |