definition module library_identification

import StdEnv

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