let
pretty fmt v = pretty_stmt fmt v