Module Dynamic.Main


module Main: sig .. end

val extend : (unit -> unit) -> unit
Deprecated.Since Beryllium-20090601-beta1. Replaced by Db.Main.
Register a function to be called by the Frama-C main entry point.
val apply : unit -> unit
Apply entry points previously registered .