Module Filter

module Filter: sig .. end

Filter helps to build a new cilfile from an old one by removing some of its elements. One can even build several functions from a source function by specifying different names for each of them.

module type RemoveInfo = sig .. end

Signature of a module that decides which element of a function have to be visible or not

module F: 
functor (Info : RemoveInfo-> sig .. end

Given a module that match the module type described above, F.build_cil_file initializes a new project containing the slices