| File | with.str |
| Author | Lennart Kats <lennart add lclnet.nl> |
| Since | unknown |
This module provides a basic strategy for specifyingrun-time verified strategies.
| General | |
| Lines of code | 33 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 3 (66% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| with(Strategy s, ATerm message) | n/a | with.str |