diff options
| author | Matthieu Sozeau | 2015-09-22 20:14:59 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-10-02 15:54:10 +0200 |
| commit | 0d923ee82bfed8d33d677dafb4b8defa18e4fdd1 (patch) | |
| tree | 1ac0677646dd6381f79558a28af1d629ff50ea85 /kernel/mod_typing.mli | |
| parent | 4838a3a3c25cc9f7583dd62e4585460aca8ee961 (diff) | |
Univs: More info for developers.
Diffstat (limited to 'kernel/mod_typing.mli')
0 files changed, 0 insertions, 0 deletions