diff options
| author | Matej Kosik | 2015-11-10 13:08:20 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-12-10 09:35:19 +0100 |
| commit | e90a1be62b9d26b1982e48d7bbd2a73b5bc54b0a (patch) | |
| tree | c32757ecb3b5d74324a16d6778e35a82b4c0669d /kernel/type_errors.ml | |
| parent | 32bd14114d5137b917601092730469db569d6385 (diff) | |
PROPOSITION: rephrasing of the explanation of the meaning of '[I:A|B]'
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions