refactor: deriving DecidableEq to use termination_by structural
#3365
Job | Run time |
---|---|
4s | |
4s |
termination_by structural
#3365
Job | Run time |
---|---|
4s | |
4s |