package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
method reset : unit
method get_focus_mode : bool
method set_focus_mode : bool -> unit
method get_state_mode : bool
method set_state_mode : bool -> unit
method set_unmangled : bool -> unit
method get_iformat : Wp__.Plang.iformat
method set_iformat : Wp__.Plang.iformat -> unit
method get_rformat : Wp__.Plang.rformat
method set_rformat : Wp__.Plang.rformat -> unit
method selected : unit
method target : target
method unselect : target
method restore : focus:focus -> target -> unit
method resolve : target -> Wp__.Tactical.selection
method on_selection : (unit -> unit) -> unit
method sequent : Wp__.Conditions.sequent
method selection : Wp__.Tactical.selection
method set_selection : Wp__.Tactical.selection -> unit
method highlight : Wp__.Tactical.selection -> unit
method pp_term : F.term printer
method pp_pred : F.pred printer
method pp_selection : Wp__.Tactical.selection printer
method pp_sequent : Wp__.Conditions.sequent printer
method pp_goal : Wp__.Wpo.t printer
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct