@leanprover/infoview
Preparing search index...
index
DynamicComponentProps
Interface DynamicComponentProps
interface
DynamicComponentProps
{
hash
:
string
;
pos
?:
DocumentPosition
;
props
:
any
;
}
Index
Properties
hash
pos?
props
Properties
hash
hash
:
string
Optional
pos
pos
?:
DocumentPosition
Deprecated
set
EnvPosContext
instead
props
props
:
any
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Properties
hash
pos
props
@leanprover/infoview
Loading...
Deprecated
set EnvPosContext instead