The Ansi_Terminal api defines the external interface to the ansi_terminal package.
The Ansi_Terminal api is implemented by the ansi_terminal package.
The Ansi_Terminal api source code is src/lib/src/make-ansi-terminal-escape-sequence.pkg.
The above information is manually maintained and may contain errors.
api {
Color = BLACK | BLUE | CYAN | GREEN | MAGENTA | RED | WHITE | YELLOW;
Texttrait = BF | BG Color | BLINK | FG Color | INVIS | REV | UL;
to_string : List(Texttrait ) -> String;
set_texttraits : (Output_Stream , List(Texttrait )) -> Void;};