chiark / gitweb /
Added pseudo type COPY-OF