let rec pp_print_initializer ppf = 
  function
      PinitExp e -> pp_print_expression ppf e
    | PinitList l ->
        fprintf ppf "{{@<[<hv 2>%a@,@]}"
          (pp_print_list ~elem_pp:pp_print_initializer ~sep_pp:pp_print_sep_comma)
          l