@leanprover/infoview
    Preparing search index...

    Type Alias HighlightedCodeWithInfos

    HighlightedCodeWithInfos: TaggedText<HighlightedSubexprInfo>

    Settings
    Member Visibility