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 import GenBimap