@leanprover/infoview

Preparing search index...

index
DocumentPosition
toTdpp

Function toTdpp

toTdpp(p: DocumentPosition): TextDocumentPositionParams
Parameters
- p: DocumentPosition
Returns TextDocumentPositionParams
- Defined in lean4-infoview/src/infoview/util.ts:31

Settings

Member Visibility

Protected
Inherited
External

Theme

@leanprover/infoview

Loading...

Generated using TypeDoc