module Main: sig
.. end
val extend : (unit -> unit) -> unit
Register a function to be called by the Frama-C main entry point.
Consult the Plugin Development Guide for additional details.
val play : (unit -> unit) Pervasives.ref
Run all the Frama-C analyses. This function should be called only by
toplevels.
Since Beryllium-20090901