| General | |
| Lines of code | 233 |
| SDF | |
| Module number | 1 (100% documented) |
| Production number | 0 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 19 (57% documented) |
| Rule number | 0 |
| DynamicRule number | 5 (0% documented) |
Modules |
||
| Main | Main strategy of the Dryad type checker | Main.str |