Skip to content

feat: let simp apply rules with higher-order patterns #21953

feat: let simp apply rules with higher-order patterns

feat: let simp apply rules with higher-order patterns #21953