diff options
| author | Maxime Dénès | 2018-04-09 10:11:14 +0200 |
|---|---|---|
| committer | Maxime Dénès | 2018-04-09 10:11:14 +0200 |
| commit | d82346e23d36ff8d09a1628c5c592a49ba370bab (patch) | |
| tree | e6ced57b1d610f514b641cba5475e0e45c091e80 /kernel/type_errors.ml | |
| parent | a4666e2b52fdb59e641c77c17537f1f5d256c7b2 (diff) | |
| parent | 4fba4b00257e8ddbc94f71115d139bfc2483944d (diff) | |
Merge PR #7082: Expliciting and taking advantage of a representation invariant in Esubst
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions