sig
  module PrintSlice :
    sig
      val print_fct_stmts : Format.formatter -> Kernel_function.t -> unit
    end
end