@leanprover/infoview
Preparing search index...
index
InfoPopup
Interface InfoPopup
Information that should appear in a popup when clicking on a subexpression.
interface
InfoPopup
{
doc
?:
string
;
exprExplicit
?:
CodeWithInfos
;
type
?:
CodeWithInfos
;
}
Index
Properties
doc?
expr
Explicit?
type?
Properties
Optional
doc
doc
?:
string
Optional
expr
Explicit
exprExplicit
?:
CodeWithInfos
Optional
type
type
?:
CodeWithInfos
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
doc
expr
Explicit
type
@leanprover/infoview
Loading...
Information that should appear in a popup when clicking on a subexpression.