indvC_module :: MODULE -> Set NAME
indvC_module m =
    case m of
         Mod _ t _ -> indvC_text t
         Mod_ex _ _ t _ -> indvC_text t

-- | retrieves the individual constants from a sentence
indvC_module :: MODULE -> Set NAME
indvC_module m =
    case m of
         Mod _ t _ -> indvC_text t
         Mod_ex _ _ t _ -> indvC_text t

-- | retrieves the individual constants from a sentence
indvC_module m =
    case m of
         Mod _ t _ -> indvC_text t
         Mod_ex _ _ t _ -> indvC_text t

-- | retrieves the individual constants from a sentence