@leanprover/infoview
    Preparing search index...

    Type Alias GoToKind

    GoToKind: "declaration" | "definition" | "type"

    Settings
    Member Visibility