Defines the main interface for output of the repl. This allows us to redirect it (e.g., in the case of a server connection or tests).
The formatter allows to dynamically change the use of ansi escape sequences (see OutputFormatter)
standardReplOutput
Defines the main interface for output of the repl. This allows us to redirect it (e.g., in the case of a server connection or tests).
The formatter allows to dynamically change the use of ansi escape sequences (see OutputFormatter)
See
standardReplOutput