CIL 構造体を出力したい例Cil.instr
CIL API によると、たとえば のような関数があり、これを使用し
て、値を変数に格納したいなどのようCil.d_instrに Errormsg に出力できます。Errormsg.log "Instruction: %a\n" d_instr i;私は試した：
let i_str = Printf.sprintf "%a" Pretty.sprint (d_instr i) in ...
ただし、これにより型不一致のコンパイル エラーが発生します。誰でもこれについて私を助けることができますか? ありがとう！