@leanprover/infoview
Preparing search index...
index
RpcReleaseParams
Interface RpcReleaseParams
interface
RpcReleaseParams
{
refs
:
RpcPtr
<
any
>
[]
;
sessionId
:
string
;
uri
:
string
;
}
Index
Properties
refs
session
Id
uri
Properties
refs
refs
:
RpcPtr
<
any
>
[]
session
Id
sessionId
:
string
uri
uri
:
string
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
refs
session
Id
uri
@leanprover/infoview
Loading...