-;
-alias:
- ALIAS ID CONURI
- { $2,(CicTextualParser0.ConUri $3) }
- | ALIAS ID VARURI
- { $2,(CicTextualParser0.VarUri $3) }
- | ALIAS ID INDTYURI
- { $2,(CicTextualParser0.IndTyUri (fst $3, snd $3)) }
- | ALIAS ID INDCONURI
- { let uri,indno,consno = $3 in
- $2,(CicTextualParser0.IndConUri (uri, indno, consno))
- }