diff options
| author | Emilio Jesus Gallego Arias | 2020-03-26 02:45:47 -0400 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-31 05:16:22 -0400 |
| commit | e9c05828bba7ceb696a5c17457b8e0826bbd94f1 (patch) | |
| tree | fa9f93732095d304aff28239b7293ae6c1bbb075 /plugins/syntax/string_notation.mli | |
| parent | b755869a7fdb34dcf7dacc9d5fd93c768d71d751 (diff) | |
[proof] Split return_proof in partial and regular versions.
This is a small refactoring as these two functions behave very
differently and the invariants are quite different, in fact regular
`return_proof` should not be exported but be part of close proof, but
there is small use in the STM still.
Diffstat (limited to 'plugins/syntax/string_notation.mli')
0 files changed, 0 insertions, 0 deletions