7 lines
147 B
OCaml
7 lines
147 B
OCaml
|
|
val vof_program: Ast_c.program -> Ocaml.v
|
|
val vof_any: Ast_c.any -> Ocaml.v
|
|
|
|
(* used by meta_ast_cil.ml *)
|
|
val vof_type_: Ast_c.type_ -> Ocaml.v
|
|
|