diff options
| author | Pierre-Marie Pédrot | 2014-02-24 14:34:26 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-02-24 14:34:26 +0100 |
| commit | 6d81918e8ca57514eaa5456ed6e77ce39a410725 (patch) | |
| tree | e5859576bdefbe3ed128eea4d67041e1fb26dbdd /kernel/type_errors.mli | |
| parent | 2a435ff6fdb682de0161ad4ac5893599c363bb4b (diff) | |
Ensuring that the module Stack is opaque inside Reductionops.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions