Pretty print attributes associated with record declarations.