sig val module_name : string end