diff options
Diffstat (limited to 'sucl/law.dcl')
| -rw-r--r-- | sucl/law.dcl | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/sucl/law.dcl b/sucl/law.dcl deleted file mode 100644 index e136b46..0000000 --- a/sucl/law.dcl +++ /dev/null @@ -1,19 +0,0 @@ -definition module law - -// $Id$ - -from coreclean import SuclSymbol,SuclVariable -from strat import Law,Strategy -from StdOverloaded import == - -// Transitive necessities - -from strat import Substrategy -from spine import Spine,Subspine -from graph import Graph,Node - -// The list of special Clean transformation laws -cleanlaws :: [(SuclSymbol,Law SuclSymbol var SuclVariable result)] - -// The strategy for built in clean symbols -corestrategy :: ((Graph SuclSymbol SuclVariable) SuclVariable var -> Bool) -> Strategy SuclSymbol var SuclVariable result | == var |