PrintStreamInfoStream
open class PrintStreamInfoStream(stream: PrintStream, messageID: Int = MESSAGE_ID.fetchAndIncrement()) : InfoStream
InfoStream implementation over a PrintStream such as System.out.
InfoStream implementation over a PrintStream such as System.out.