let
pretty fmt (v: t) =
display_one_from fmt v