toPlan9Qid

Translate Qid to his string representation (string are the same as in Plan 9)

toPlan9Qid
(
T : Qid
)
(
T qid
)

Meta