add a Functor structure
[~helmut/bidiragda.git] / Everything.agda
index e37c76e..7383dd5 100644 (file)
@@ -2,6 +2,7 @@
 module Everything where
 
 import Generic
+import Structures
 import FinMap
 import CheckInsert
 import GetTypes