let
pretty fmt (d: t) = display_one fmt d