sig
  val print_fct_stmts :
    Format.formatter ->
    SlicingTypes.sl_project * Db_types.kernel_function -> unit
end