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 |