Module Register


module Register: sig .. end
This file should be empty because every API functions of the slicing module should be registered in 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