definition module library_identification

encode_library_identification :: !String !String !String -> String