#include <misc/formater.hh>
Implemented in spot::printable_percent, spot::printable_id, spot::printable_value< T >, spot::printable_value< unsigned >, spot::printable_value< const ltl::formula * >, and spot::printable_formula.