Types Erlang验证记录类型是否存在？

有没有办法验证Erlang模块中是否存在给定类型的记录？一个可以像这样工作的函数：

=> record_type_exists(robot).
true

Erlang中是否存在这样的函数

---

提前谢谢

不，没有这样的功能

记录是Erlang中的编译时功能，因此记录类型是否“存在”取决于编译器在编译给定模块时是否能找到它（在模块本身或包含的头文件中）。这类似于C中结构的工作方式