let pp_sl_fct_slice p_caller fmt ff =
let pp fmt =
Format.fprintf fmt
"@[<hv 2>!Db.Slicing.Slice.from_num_id@;%a@;%a@;%d@]"
(Sl_project.internal_pretty_code Type.Call)
ff.SlicingInternals.ff_fct.SlicingInternals.fi_project
(Kernel_function.internal_pretty_code Type.Call)
ff.SlicingInternals.ff_fct.SlicingInternals.fi_kf
ff.SlicingInternals.ff_id
in
Type.par p_caller Type.Call fmt pp