sig val build_cil_file : string -> BoolInfo.t_proj -> Project.t end