Build Output Stream
fun BuildOutputStream(workbench: AvailWorkbench, streamStyle: StreamStyle)
Content copied to clipboard
Construct a new BuildOutputStream.
Parameters
stream Style
What StreamStyle should this stream render with?