Module Db.Main

DEPRECATED Frama-C main interface.

val extend : (unit -> unit) -> unit

Register a function to be called by the Frama-C main entry point.