let display fmt = Format.fprintf fmt "@[<v>"; display_aux (Format.fprintf fmt); Format.fprintf fmt "@]"