diff options
| author | Hugo Herbelin | 2016-04-26 13:34:39 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-04-27 21:55:49 +0200 |
| commit | 975e2a05050c704161aca3fbac96376eeda6fb4a (patch) | |
| tree | fc4239d276a6457552ed0c633422d0d4064dbef0 /doc | |
| parent | eb9216e544cb5fce4347052f42e9452a822c2f64 (diff) | |
More abstraction in cases.mli.
Diffstat (limited to 'doc')
0 files changed, 0 insertions, 0 deletions