prd_module :: MODULE -> Set.Set NAME
prd_module m =
    case m of
         Mod _ t _ -> prd_text t
         Mod_ex _ _ t  _ -> prd_text t
prd_module :: MODULE -> Set.Set NAME
prd_module m =
    case m of
         Mod _ t _ -> prd_text t
         Mod_ex _ _ t  _ -> prd_text t
prd_module m =
    case m of
         Mod _ t _ -> prd_text t
         Mod_ex _ _ t  _ -> prd_text t