diff options
| author | Enrico Tassi | 2014-02-19 10:45:49 +0100 |
|---|---|---|
| committer | Enrico Tassi | 2014-02-26 14:53:08 +0100 |
| commit | 7726a81d850020b6402f445912f3a3d9310da69d (patch) | |
| tree | 93f8219fd02efc9eeee6ea704c551de593d620eb /kernel/type_errors.mli | |
| parent | e4c81a456ed7279e255e0df2a73e14c77946be7e (diff) | |
Future: each computation has a uuid
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions