functor (Info : RemoveInfo) -> sig val build_cil_file : ?last:bool -> string -> Info.proj -> Project.t end