@leanprover/infoview
    Preparing search index...

    Type Alias MessageOrder

    MessageOrder: "Sort by proximity to text cursor" | "Sort by message location"

    Settings
    Member Visibility