functor (Info : T_RemoveInfo->
  sig val build_cil_file : string -> Info.t_proj -> Project.t end