string-ident issueshttps://gitlab.mpi-sws.org/iris/string-ident/-/issues2020-12-04T14:02:53Zhttps://gitlab.mpi-sws.org/iris/string-ident/-/issues/5No `ident_to_string`?2020-12-04T14:02:53ZJoachim BreitnerNo `ident_to_string`?Thanks for providing the code for `ident_of_string`. I am wondering if there is a reason why there is no `ident_to_string` as well?
Unrealted, maybe worth pointing out the relation of the present code to https://github.com/ppedrot/coq-s...Thanks for providing the code for `ident_of_string`. I am wondering if there is a reason why there is no `ident_to_string` as well?
Unrealted, maybe worth pointing out the relation of the present code to https://github.com/ppedrot/coq-string-ident/