diff options
| author | Arnaud Spiwack | 2014-10-10 17:08:42 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-10-16 10:23:29 +0200 |
| commit | ba372c87f7a21cbc8bfcd4495bd59a04a63f7281 (patch) | |
| tree | cd2dfaf854506616560806206aea8982c905032b /kernel | |
| parent | 27632acf63d638e050d26b7fc107a55e13323a0c (diff) | |
Expose Proofview.Refine.with_type in the API.
Diffstat (limited to 'kernel')
0 files changed, 0 insertions, 0 deletions