This member is added by an implicit conversion from StateWithLogs[S] to
any2stringadd[StateWithLogs[S]] performed by method any2stringadd in scala.Predef.
This member is added by an implicit conversion from StateWithLogs[S] to
StringFormat[StateWithLogs[S]] performed by method StringFormat in scala.Predef.