let pp_info pp_experimental fmt = function | Exp a -> pp_experimental fmt a | Info l -> pp fmt "[@[<hov>%a@]]" (pp_lst ~sep:(fun fmt () -> pp fmt ";@ ") pp_flag) l