diff options
| author |  Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-02-28 21:03:14 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias <e+git@x80.org> | 2018-06-04 17:33:47 +0200 |
| commit | 9a86eda0766fcc405b57183854c5095cc14cffaa (patch) | |
| tree | 0df64107f4a56a7cbcd2755ec44c093484a7745c /tactics | |
| parent | 06ae11ea4e18766007579d47ee73b7b292a75ba4 (diff) | |
[termops] Update type of function, anyways not used in the codebase.
Note that `Assumptions` ships its own copy, but for `Constr.t`.
Diffstat (limited to 'tactics')
0 files changed, 0 insertions, 0 deletions