aboutsummaryrefslogtreecommitdiff
path: root/docs
diff options
context:
space:
mode:
authorFlorian Diebold <[email protected]>2020-05-22 16:50:58 +0100
committerFlorian Diebold <[email protected]>2020-05-22 18:52:06 +0100
commit27fe68ad5c908d439af6cfbe7748c56eb6f107fc (patch)
tree4931a1d08d930dadee18e2f9d521e29d255f81b2 /docs
parent1d0e27254d6376e980dc19e67dfcc598c7e97231 (diff)
Use TypeCtorId as AdtId directly, and rename the type alias StructId -> AdtId
Diffstat (limited to 'docs')
0 files changed, 0 insertions, 0 deletions