当我使用fram-c 编写解析器时。我遇到了 Ast.get() 返回类型 Cil_types.file 但我需要 Cil.file 以供将来使用的问题。它们实际上具有相同的字段，但 ocaml 编译器只是不允许从 Cil_types.file 直接分配给 Cil.file。Ocaml 中是否有任何类型转换函数可以帮助我做到这一点。
Ps：我尝试将Cil_types.file的每个字段都赋值给Cil.file，但是递归出现同样的问题（不允许Cil.file.* = Cil_types.file.*）。非常感谢您的帮助！</p>