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 | |
parent | 1d0e27254d6376e980dc19e67dfcc598c7e97231 (diff) |
Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtId
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions