Extract some common logic according to IDEA inspection

JetBrains / Arend

The Arend Proof Assistant

https://arend-lang.github.io/

Apache License 2.0

694 stars 33 forks source link

Closed ice1000 closed 4 years ago

ice1000 commented 4 years ago

Only commit 5e41ca254f80abe54af022a352c27f187c5201d2 should be looked at.

This PR is intended for review only