Functional programming Ocaml连接两个字符串，使a^b=b^a

我在一本教科书中发现了一个没有答案的问题

“查找两个非空字符串a和b，使a^b=b^a。 对于一对经过转换的字符串，通常可以说什么？”

我能想到的唯一字符串是a和b是否相同，比如“aaa”或“apa”。 答案是这么简单还是更复杂

---

（^）的类型是什么？如果我只是在utop中输入（^），我会得到“bytes->bytes->bytes=”但我正在使用的类型必须是String？

如果它们是同一字符串的重复，则保持不变。有关更多信息，请参见。

另请参见以及

a=“nk”

和

b=“nknk”

？是的，我当然错过了。那么你能说它们必须是相同的，或者其中一根弦需要由另一根弦的一个或多个重复组成吗？@Burton我想“aa”和“aaa”是怎么回事？没有一个是另一个的重复。