| General | |
| Lines of code | 640 |
| SDF | |
| Module number | 10 (90% documented) |
| Production number | 0 |
| Stratego | |
| Module number | 10 (90% documented) |
| Constructor number | 1 (100% documented) |
| Overlay number | 0 |
| Strategy number | 53 (62% documented) |
| Rule number | 17 (11% documented) |
| DynamicRule number | 1 (0% documented) |
Modules |
||
| Erasure | 4 | Erasure.str |
| Lub | 15 | Lub.str |
| Main | Types | Main.str |
| Parameterized | 4 | Parameterized.str |
| Primitive | 4 | Primitive.str |
| Raw | n/a | Raw.str |
| Reference | 4 | Reference.str |
| Reifiable | 4 | Reifiable.str |
| Subtyping | 4 | Subtyping.str |
| UncheckedConversion | 5 | UncheckedConversion.str |