diff options
| author | Théo Zimmermann | 2020-05-14 11:17:44 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2020-05-14 11:17:44 +0200 |
| commit | 924b4a21788c9c2d806d39d5916f2a64cdeedb83 (patch) | |
| tree | 8d01cc72e4e17f69705b6ddb52cafe59803459eb /kernel/type_errors.mli | |
| parent | e008946f9b638c2b065c7d6950087c9a4fa29e91 (diff) | |
| parent | 2c7a99d3955bbbe0d0cead1a13621c43707e9402 (diff) | |
Merge doc on Canonical structures from two origins.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions