package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
val update : unit -> unit
val on_update : (unit -> unit) -> unit
val reload : unit -> unit
val on_reload : (unit -> unit) -> unit
val register : main:Frama_c_gui.Design.main_window_extension_points -> configure_provers:(unit -> unit) -> unit