definition module GenLib import StdGeneric import GenEq import GenLexOrd import GenMap import GenMapSt import GenReduce import GenZip import GenPrint import GenParse import GenCompress import GenMonad import GenHylo import GenFMap