A structure representing the messages created by the language server when evaluating the steps within a proof.
level : int
The level of severity of this message.
text : str
The text content of the message.
range : Range Range
The range in the file for which this message applies.
__init__(self, level: int, text: str, range = None)Creates a new Message object.
levelThe level of severity of this message.
text : strThe text content of the message.
range : Range = NoneThe range in the file for which this message applies.