Functor Filter.F


module F: 
functor (Info : T_RemoveInfo) -> sig .. end
Given a module that match the module type described above, F.build_cil_file initializes a new project containing the slices
Parameters:
Info : T_RemoveInfo

val build_cil_file : string -> Info.t_proj -> Project.t