Function useRpcSession

useRpcSession(): RpcSessionAtPos
Retrieve an RPC session at EnvPosContext, if the context is set. Otherwise return a dummy session that throws on any RPC call.

Returns RpcSessionAtPos
- Defined in lean4-infoview/src/infoview/rpcSessions.tsx:83