@leanprover/infoview
    Preparing search index...

    Type Alias InfoviewActionKind

    InfoviewActionKind:
        | "toggleAllMessages"
        | "togglePaused"
        | "togglePin"
        | "copyToComment"
        | "toggleExpectedType"

    Settings
    Member Visibility