package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
method clear : unit
method reset : unit
method env : Env.t
method set_term : F.term -> v_term -> unit
method get_term : F.term -> v_term
method set_target : F.term -> unit
method clear_target : unit
method focus : extend:bool -> F.term -> unit
method unfocus : F.term -> unit
method unfocus_last : unit
method is_selected : F.term -> bool
method is_focused : F.term -> bool
method is_visible : F.term -> bool
method is_targeted : F.term -> bool
method set_autofocus : bool -> unit
method get_autofocus : bool
method is_autofocused : bool
method set_step : Wp__.Conditions.step -> v_fold -> unit
method get_step : Wp__.Conditions.step -> v_fold
method is_visible_step : Wp__.Conditions.step -> bool
method locate : F.term -> Wp__.Tactical.selection
method set_sequent : Wp__.Conditions.sequent -> bool
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