let pp_apply_call pp fmt f = function
  | [] -> Format.pp_print_string fmt f
  | xs ->
      Format.fprintf fmt "@[<hov 1>(%s" f ;
      List.iter (fun x -> Format.fprintf fmt "@ %a" pp x) xs ;
      Format.fprintf fmt ")@]"