Skip to content

fix: reduce Eq.rec when mvars are present #3156

fix: reduce Eq.rec when mvars are present

fix: reduce Eq.rec when mvars are present #3156

Annotations

1 warning

check-pr-body

succeeded Jan 10, 2025 in 2s