FMT1!-TO-STRING
See
printing-to-strings
.
Major Section:
ACL2-BUILT-INS
