@leanprover/infoview
    Preparing search index...

    Type Alias HighlightedSubexprInfo

    HighlightedSubexprInfo: SubexprInfo | "highlighted"

    Settings
    Member Visibility