Teuchos::basic_FancyOStream_buf::traits_type() Teuchos::basic_FancyOStream::traits_type() Teuchos::basic_FancyOStream_buf::traits_type() Teuchos::basic_FancyOStream::traits_type()