diff options
| author | Matej Kosik | 2015-12-18 10:07:53 +0100 |
|---|---|---|
| committer | Matej Kosik | 2015-12-18 15:58:57 +0100 |
| commit | b88929d9d8de179a7e356cf9cbe2afef76f905a3 (patch) | |
| tree | 66cb060ce8034e56cf5360e206f8cf2593204ef1 /kernel/typeops.mli | |
| parent | 1b5f85d38db7a0d7cb9a4b9491a5563461373182 (diff) | |
COMMENTS: added to the "Constr.case_info" type.
Diffstat (limited to 'kernel/typeops.mli')
0 files changed, 0 insertions, 0 deletions