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>