Up
–
frama-c
»
Frama_c_kernel
» Db
Module
Frama_c_kernel.Db
module
Main
:
sig
...
end
DEPRECATED Frama-C main interface.