diff options
| author | Maxime Dénès | 2017-06-13 17:35:22 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2017-06-13 17:35:22 +0200 |
| commit | 91c67be4732a5281df9007cf505af251de62b9ea (patch) | |
| tree | 4e94e84bef026fba8f1f670d18983a45739376c5 /API/API.mli | |
| parent | 40c862511a797ade64caf6aa26a486a63f67e617 (diff) | |
| parent | 6547fc39a3d2a0e1b82921b0747c6eb2e76e6f3b (diff) | |
Merge PR#385: Equality of sigma types
Diffstat (limited to 'API/API.mli')
0 files changed, 0 insertions, 0 deletions