@leanprover/infoview
Preparing search index...
index
InteractiveMessageData
Function InteractiveMessageData
InteractiveMessageData
(
__namedParameters
:
{
msg
:
MessageData
}
)
:
Element
Display the given message data as interactive, pretty-printed text.
Parameters
__namedParameters
:
{
msg
:
MessageData
}
Returns
Element
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
@leanprover/infoview
Loading...
Display the given message data as interactive, pretty-printed text.