| File | cons.str |
| Author | unknown |
| Since | unknown |
Overlay for pairs.
| General | |
| Lines of code | 28 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 1 (100% documented) |
| Strategy number | 0 |
| Rule number | 0 |
| DynamicRule number | 0 |
Overlay summary |
||
| Pair(ATerm x, ATerm y) | Overlay for a pair, converts two terms to a 2-tuple | cons.str |
Overlay details |
|||||||||
| ATerm | Pair(ATerm x, ATerm y) | ||||||||
Overlay for a pair, converts two terms to a 2-tuple. |
|||||||||