Skip to content

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

feat: let simp apply rules with higher-order patterns

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