- let type_id = $2 in
- let ty = $4 in
- sprintf "tydec[%s, %s]" type_id ty
- }
-
-ty:
- | ID
- {
- let type_id = $1 in
- sprintf "type[type_id[%S]]" type_id
+ let type_id_new = $2 in
+ let type_id_orig = $4 in
+ sprintf "tydec_alias[from[%s], to[%s]]" type_id_new type_id_orig