@leanprover/infoview

Preparing search index...

index
LeanFileProgressKind

Enumeration LeanFileProgressKind

Defined in lean4-infoview-api/dist/lspTypes.d.ts:25

Index

Enumeration Members

FatalError Processing

Enumeration Members

FatalError

FatalError: 2

Defined in lean4-infoview-api/dist/lspTypes.d.ts:27

Processing

Processing: 1

Defined in lean4-infoview-api/dist/lspTypes.d.ts:26

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Enumeration Members

FatalError Processing

@leanprover/infoview

Loading...

Generated using TypeDoc