| File | main.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 143 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 16 (0% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Constructor summary |
||
| amb(ATerm ) | n/a | main.str |
| Comment(ATerm ) | n/a | main.str |
Strategy summary |
||
| pp-comments(Strategy pprules) | n/a | main.str |
Rule summary |
||
| php-to-box | n/a | main.str |
| php-to-box | n/a | main.str |
| php-to-box | n/a | main.str |