Module Meta_ast_cil

val vof_instr : Ast_cil.instr -> Ocaml.v