Filter.F
Given a module that match the module type described above, * F.build_cil_file initializes a new project containing the slices
F.build_cil_file
module Info : RemoveInfo
val build_cil_file : ?last:bool -> string -> Info.proj -> Project.t