@leanprover/infoview
    Preparing search index...

    Interface GoalsLocation

    A location within a goal state. It identifies a specific goal together with a GoalLocation within it.

    interface GoalsLocation {
        loc: GoalLocation;
        mvarId: string;
    }
    Index
    mvarId: string

    Which goal the location is in.