@leanprover/infoview
Preparing search index...
index
DocumentPosition
isEqual
Function isEqual
isEqual
(
p1
:
DocumentPosition
,
p2
:
DocumentPosition
)
:
boolean
Parameters
p1
:
DocumentPosition
p2
:
DocumentPosition
Returns
boolean
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
@leanprover/infoview
Loading...