diff options
| author |  Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-04 14:36:18 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert <gaetan.gilbert@skyskimmer.net> | 2018-05-14 13:25:56 +0200 |
| commit | 9f175bbeb19175a1e422225986f139e8f1a1b56c (patch) | |
| tree | adf6242cd8cf7a29df88a793af2dfa0a8e9d0f5f /pretyping/cases.mli | |
| parent | 0bae2ad1082e6bf7ef24ae4767d6f7cfd8c1a973 (diff) | |
Use evd_combX in Cases.
Diffstat (limited to 'pretyping/cases.mli')
0 files changed, 0 insertions, 0 deletions