module Register:This file should be empty because every API functions of the slicing module should be registered insig
..end
Db.Slicing
.
If you are more interested in the internal point of view of this module,
please look here.
val print_fct_stmts : Format.formatter ->
SlicingTypes.sl_project * Cil_types.kernel_function -> unit