let rec pp_list pp fmt = function |[h] -> Format.fprintf fmt "@[<v 1>-@,%a@]" pp h |h::t -> (Format.fprintf fmt "@[<v 1>-@,%a@]@," pp h ; pp_list pp fmt t) |[] -> ()