Function getGoToLocation

getGoToLocation(
    rs: RpcSessionAtPos,
    kind: GoToKind,
    info: InfoWithCtx,
    options?: ClientRequestOptions,
): Promise<LocationLink[]>
Parameters
- rs: RpcSessionAtPos
- kind: GoToKind
- info: InfoWithCtx
- Optionaloptions: ClientRequestOptions
Returns Promise<LocationLink[]>
- Defined in lean4-infoview-api/dist/rpcApi.d.ts:116