@leanprover/infoview

Preparing search index...

index
PlainTermGoal

Interface PlainTermGoal

interface PlainTermGoal {
goal: string;
range: Range;
}

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

Index

Properties

Properties

goal

goal: string

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

range

range: Range

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

Settings

Member Visibility

Protected
Inherited
External

Theme

On This Page

Properties

@leanprover/infoview

Loading...

Generated using TypeDoc