| File | option.str |
| Author | unknown |
| Since | unknown |
| General | |
| Lines of code | 9 |
| Stratego | |
| Module number | 1 (0% documented) |
| Constructor number | 2 (0% documented) |
| Overlay number | 0 |
| Strategy number | 1 (0% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Constructor summary |
||
| None(ATerm ) | n/a | option.str |
| Some(ATerm ) | n/a | option.str |
Strategy summary |
||
| option(Strategy s) | n/a | option.str |