@leanprover/infoview
    Preparing search index...

    Type Alias ExpectedTypeVisibility

    ExpectedTypeVisibility:
        | "Expanded by default"
        | "Collapsed by default"
        | "Hidden"

    Settings
    Member Visibility