打印方法find_simple_stmt_nodes的结果（Module Db.Pdg）

Question

我如何打印此功能的结果 find_simple_stmt_nodes :( t - ＆gt; Cil_types.stmt - ＆gt; PdgTypes.Node.t列表）Pervasives.ref 。是否有方法可以执行此操作？如果有人可以帮助我......我尝试过这样的事情：

let listeStatement= !Db.Pdg.find_simple_stmt_nodes pdg assert_stmt in

let rec print_list = function

   [] -> ()

   | x :: l -> Format.printf "%a@." (!Db.Pdg.pretty_node false) x; 

   print_string " "; Format.printf "%a@." (!Db.Pdg.pretty_node false) l  in

   print_list listeStatement;;