@leanprover/infoview
    Preparing search index...

    Type Alias MessageData

    MessageData: RpcPtr<"Lean.MessageData">

    Settings
    Member Visibility