Synopsis Describes the line decorations for an outline.
Types
public data LineDecoration =
info(int lineNumber, str msg)
| warning(int lineNumber, str msg)
| error(int lineNumber, str msg)
| highlight(int lineNumber, str msg)
| highlight(int lineNumber, str msg, int level)
;