咨询Coq(Rocq)标准库中是否存在nat转string的函数

Coq标准库中确实存在将nat类型转换为字符串的函数，无需自行定义，常用的有以下两种：

1. Nat.to_string #

这是最直接的专用转换函数，在Coq.Strings.String或Coq.Numbers.Natural.Nat模块中可调用，示例代码：

Require Import Coq.Strings.String.
Check Nat.to_string 42. (* 结果为字符串 "42" *)

2. 通用类型转换函数string_of #

若导入支持类型类的Coq.Classes.Stringifiable模块，可使用通用的string_of函数，它支持包括nat在内的多种类型转字符串，示例：

Require Import Coq.Classes.Stringifiable.
Check string_of (42 : nat). (* 同样返回 "42" *)

内容的提问来源于stack exchange，提问作者Sambo