@leanprover/infoview
Preparing search index...
index
LeanServerCapabilities
Interface LeanServerCapabilities
interface
LeanServerCapabilities
{
moduleHierarchyProvider
?:
ModuleHierarchyOptions
;
rpcProvider
?:
RpcOptions
;
}
Index
Properties
module
Hierarchy
Provider?
rpc
Provider?
Properties
Optional
module
Hierarchy
Provider
moduleHierarchyProvider
?:
ModuleHierarchyOptions
Optional
rpc
Provider
rpcProvider
?:
RpcOptions
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
module
Hierarchy
Provider
rpc
Provider
@leanprover/infoview
Loading...