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