Messages produced by a StateChecker.
Optional
Error messages.
Info messages.
Warning messages.
Generated using TypeDoc
Messages produced by a StateChecker.