diff options
| author | Florian Diebold <[email protected]> | 2020-05-22 16:50:58 +0100 |
|---|---|---|
| committer | Florian Diebold <[email protected]> | 2020-05-22 18:52:06 +0100 |
| commit | 27fe68ad5c908d439af6cfbe7748c56eb6f107fc (patch) | |
| tree | 4931a1d08d930dadee18e2f9d521e29d255f81b2 /docs/dev | |
| parent | 1d0e27254d6376e980dc19e67dfcc598c7e97231 (diff) | |
Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtId
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions