when pretty-printing structures. Most structures used both spaces, but some only used a trailing space and some used neither.
when pretty-printing structures. Most structures used both spaces, but some only used a trailing space and some used neither.