@leanprover/infoview

Preparing search index...

index
GoalLocation
isEqual

Function isEqual

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

Settings

Member Visibility

Protected
Inherited
External

Theme

@leanprover/infoview

Loading...

Generated using TypeDoc