printEPDecls :: [EPDecl] -> Doc
printEPDecls l = vcat $ map f l where
    f x = hsep [text "ep", pretty x]


-- | checks whether a Id is declared in the signature
printEPDecls :: [EPDecl] -> Doc
printEPDecls l = vcat $ map f l where
    f x = hsep [text "ep", pretty x]


-- | checks whether a Id is declared in the signature
printEPDecls l = vcat $ map f l where
    f x = hsep [text "ep", pretty x]


-- | checks whether a Id is declared in the signature