lib(source_processor)

   Tools for processing ECLiPSe sources

