No `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-string-ident/