somme ex2 and ex3 text

[tt2015.git] / a3 / code / Generics / GenMapSt.dcl

diff --git a/a3/code/Generics/GenMapSt.dcl b/a3/code/Generics/GenMapSt.dcl
deleted file mode 100644 (file)
index 442c9cb..0000000
--- a/a3/code/Generics/GenMapSt.dcl
+++ /dev/null
@@ -1,12 +0,0 @@
-definition module GenMapSt\r
-\r
-import StdGeneric\r
-\r
-generic gMapLSt a b :: .a .st -> (.b, .st)\r
-derive gMapLSt c, PAIR, EITHER, FIELD, CONS, OBJECT, {}, {!}\r
-derive gMapLSt [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
-\r
-generic gMapRSt a b :: .a .st -> (.b, .st)\r
-derive gMapRSt c, PAIR, EITHER, FIELD, CONS, OBJECT, {}, {!} \r
-derive gMapRSt [], (,), (,,),  (,,,), (,,,,), (,,,,,), (,,,,,,), (,,,,,,,)\r
-\r