getDeclSpecNames :: LIB_ITEM -> [IRI]
getDeclSpecNames li = case li of
  Spec_defn sn _ _ _ -> [sn]
  Download_items _ di _ -> getImportNames di
  _ -> []
getDeclSpecNames :: LIB_ITEM -> [IRI]
getDeclSpecNames li = case li of
  Spec_defn sn _ _ _ -> [sn]
  Download_items _ di _ -> getImportNames di
  _ -> []
getDeclSpecNames li = case li of
  Spec_defn sn _ _ _ -> [sn]
  Download_items _ di _ -> getImportNames di
  _ -> []