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