@leanprover/infoview

Preparing search index...

index
EditorContext

Variable EditorContext`Const`

EditorContext: Context<EditorConnection> = ...

Defined in lean4-infoview/src/infoview/contexts.ts:18

Settings

Member Visibility

Protected
Inherited
External

Theme

@leanprover/infoview

Loading...

Generated using TypeDoc