当我使用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。*）。 我真的很感谢你的帮助！
答案 0 :(得分：1)
在Frama-C中，没有Cil_types.file类型。也许您将Frama-C与原始Cil混合在一起？