diff options
| author | Alasdair Armstrong | 2019-06-26 15:49:46 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-06-26 15:49:46 +0100 |
| commit | dc71f06982210e6d691173488a8b8390d219195d (patch) | |
| tree | ca3f5c53f0e380d471dabad21c594a111a72734f /doc/usage.tex | |
| parent | e3041e8206b886e547923a1280e6267d898b9871 (diff) | |
Make sure we take constraint synonyms into account when checking if types are identical
Diffstat (limited to 'doc/usage.tex')
0 files changed, 0 insertions, 0 deletions