Module Frama_c_kernel.Db

module Main : sig ... end

DEPRECATED Frama-C main interface.