@leanprover/infoview

Preparing search index...

index
GoalsLocation
isEqual

Function isEqual

isEqual(l1: GoalsLocation, l2: GoalsLocation): boolean
Parameters
- l1: GoalsLocation
- l2: GoalsLocation
Returns boolean
- Defined in lean4-infoview/src/infoview/goalLocation.tsx:55

Settings

Member Visibility

Protected
Inherited
External

Theme

@leanprover/infoview

Loading...

Generated using TypeDoc