diff options
| author | Pierre-Marie Pédrot | 2019-09-26 17:02:26 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2019-10-04 18:00:26 +0200 |
| commit | 69551b566a1339543967a41ff4aaa4580e7394fc (patch) | |
| tree | 4b60e8a6bb3c25c029e43fd40fd56e5839db6e68 /kernel/type_errors.ml | |
| parent | d5f2e13e51c3404d326f04513a50d264790a7a4c (diff) | |
Merge Direct and Indirect nodes in Opaqueproof.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions