diff options
| author | Pierre-Marie Pédrot | 2020-12-24 20:27:42 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2021-04-20 10:54:34 +0200 |
| commit | 9caadc38de0e1c7b3362081da9482fc4455220a7 (patch) | |
| tree | a558de42a067099d5ec638df10b18f1e3e4f3a06 /checker/validate.mli | |
| parent | 4bdd1242d22e0870f2f0c97a83ece7e7eeeea7a1 (diff) | |
More efficient variable membership check for Logic.move.
Instead of repeatedly crawling the same hypothesis again and again we
only iter the term once.
Diffstat (limited to 'checker/validate.mli')
0 files changed, 0 insertions, 0 deletions