let pretty_call_stack fmt callstack = Pretty_utils.pp_flowlist ~left:"" ~sep:" <-" ~right:"" (fun fmt {called_kf = kf} -> Kernel_function.pretty_name fmt kf) fmt callstack