Frama-C:
Plug-ins:
Libraries:

Frama-C API - browser

method clear : unit
method connect : (unit -> unit) -> unit

request-for-update event

method print : Wp_gui.GuiTactic.browser -> quit:(unit -> unit) -> Stdlib.Format.formatter -> unit