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 T_RemoveInfo =sig
..end
module F:
F.build_cil_file
initializes a new project containing the slices