@leanprover/infoview

Preparing search index...

index
ServerStoppedReason

Interface ServerStoppedReason

interface ServerStoppedReason {
message: string;
reason: string;
}

Defined in lean4-infoview-api/dist/infoviewApi.d.ts:159

Index

Properties

Properties

message

message: string

Defined in lean4-infoview-api/dist/infoviewApi.d.ts:160

reason

reason: string

Defined in lean4-infoview-api/dist/infoviewApi.d.ts:161

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

@leanprover/infoview

Loading...

Generated using TypeDoc