diff options
| author |  Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-12-13 11:52:19 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot <pierre-marie.pedrot@inria.fr> | 2017-12-30 19:19:03 +0100 |
| commit | 6e49d0bee79cd68495955deb115b495fb01f01fd (patch) | |
| tree | fd8099d2993285e30b63dc85da9660f441ac36f8 /library/lib.mli | |
| parent | c73fa639eb0a8eaf4e5121aa600f88f2d4349a0c (diff) | |
Hardening universe abstraction in Cooking.
Diffstat (limited to 'library/lib.mli')
0 files changed, 0 insertions, 0 deletions