diff options
| author | Emilio Jesus Gallego Arias | 2020-03-07 14:50:20 -0500 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-03-19 17:18:55 -0400 |
| commit | c3350ed82e1dd4e299a5a14e6e63103556a379d2 (patch) | |
| tree | 7e528b59f96748a9d558fe862096344a14c9f7a2 /plugins/syntax/r_syntax.ml | |
| parent | fb1625d723a4eb44c9a5266c759916b735e69b74 (diff) | |
[obligations] Step towards more structured handling of remaining obligations.
There is a lot of check overhead in the code, we will try to provide a
more convenient API for manipulation of remaining obligations.
Diffstat (limited to 'plugins/syntax/r_syntax.ml')
0 files changed, 0 insertions, 0 deletions