F#core方法的后缀是什么？

我在查看SeqModule中Append函数的源代码时，注意到有大量重复的方法，其中有@xxx postfix。有人知道为什么会有这些吗

---

简而言之，这些是支持各种本地函数值的具体类，@xxx值表示导致生成它们的源代码行号（尽管这是一个实现细节，这些类可以被赋予任何任意名称）

类似地，C#编译器在定义类以实现匿名委托、迭代器状态机等时使用了概念上相似的方案（请参阅Eric Lippert的答案，了解C#中的“神奇名称”是如何工作的）

这些方案是必要的，因为不是每种语言的功能都能完美地映射到CLR中可以清晰表达的东西