with

File with.str
Author unknown
Since unknown
No information available.




Statistics


General
Lines of code 23
Stratego
Module number 1 (0% documented)
Constructor number 0
Overlay number 0
Strategy number 2 (0% documented)
Rule number 0
DynamicRule number 0



Strategy summary


report-with-failure(ATerm message) n/a with.str
with(Strategy s, ATerm message) n/a with.str