@leanprover/infoview
    Preparing search index...

    Interface LeanFileProgressProcessingInfo

    interface LeanFileProgressProcessingInfo {
        kind?: LeanFileProgressKind;
        range: Range;
    }
    Index
    kind? range
    kind?: LeanFileProgressKind

    Kind of progress that was reported.

    range: Range

    Range for which the processing info was reported.

    Settings
    Member Visibility

    On This Page
    Properties