标签： syntax ocaml camlp4
有没有办法让OCaml程序中的所有多态变体在预处理时重命名为最多两个字符，当然保留它们的唯一性？重命名对于所有程序模块也应该是一致的。
有人可以使用Camlp4 + Hashtable或类似方法草拟解决方案吗？