package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
method accelerators : int
method add_provider : source_completion_provider -> bool
method as_source_completion : GtkSourceView3_types.source_completion Gtk.obj
method auto_complete_delay : int
method block_interactive : unit -> unit
method connect : source_completion_signals
method create_context : GText.iter -> source_completion_context
method hide : unit -> unit
method move_window : GText.iter -> unit
method proposal_page_size : int
method providers : source_completion_provider list
method provider_page_size : int
method remember_info_visibility : bool
method remove_provider : source_completion_provider -> bool
method select_on_show : bool
method set_accelerators : int -> unit
method set_auto_complete_delay : int -> unit
method set_proposal_page_size : int -> unit
method set_provider_page_size : int -> unit
method set_remember_info_visibility : bool -> unit
method set_select_on_show : bool -> unit
method set_show_headers : bool -> unit
method set_show_icons : bool -> unit
method show_headers : bool
method show_icons : bool
method unblock_interactive : unit -> unit
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