module Main:sig
..end
Frama-C main interface.
val extend : (unit -> unit) -> unit
Register a function to be called by the Frama-C main entry point.
val play : (unit -> unit) Stdlib.ref
Run all the Frama-C analyses. This function should be called only by toplevels.