@leanprover/infoview

Preparing search index...

index
RpcContext

Variable RpcContext`Const`

RpcContext: Context<RpcSessionAtPos> = ...

Deprecated

use useRpcSession instead

Defined in lean4-infoview/src/infoview/rpcSessions.tsx:76

Settings

Member Visibility

Protected
Inherited
External

Theme

@leanprover/infoview

Loading...

Generated using TypeDoc