printSign :: Sign -> Doc
printSign s = vcat [ printEPVars $ Map.toList $ epvars s
                   , printEPDecls $ Map.elems $ epdecls s]
printSign :: Sign -> Doc
printSign s = vcat [ printEPVars $ Map.toList $ epvars s
                   , printEPDecls $ Map.elems $ epdecls s]
printSign s = vcat [ printEPVars $ Map.toList $ epvars s
                   , printEPDecls $ Map.elems $ epdecls s]