Always add sort as a vertex to the graph in case it is a simple enum#30
Open
yiyunliu wants to merge 1 commit intouds-psl:rocq-9.0from
Open
Always add sort as a vertex to the graph in case it is a simple enum#30yiyunliu wants to merge 1 commit intouds-psl:rocq-9.0from
yiyunliu wants to merge 1 commit intouds-psl:rocq-9.0from
Commits
Commits on Oct 27, 2025
- committed
Yiyun Liu