diff options
| author | Pierre-Marie Pédrot | 2017-10-01 20:33:26 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2017-10-01 20:33:26 +0200 |
| commit | 78832226d6e472a6592dfffe91242613ec76841c (patch) | |
| tree | e61c96cc88b54102c670957b9fc1118d81b42631 /kernel/type_errors.mli | |
| parent | 0145084daa86b35a1d2a8285c4e16a9a231e3652 (diff) | |
Abstracting away the implementation of value representations.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions