package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
method after : 'a
method activate_proposal : callback:(unit -> unit) -> GtkSignal.id
method hide : callback:(unit -> unit) -> GtkSignal.id
method move_cursor : callback:(GtkEnums.scroll_step -> int -> unit) -> GtkSignal.id
method move_page : callback:(GtkEnums.scroll_step -> int -> unit) -> GtkSignal.id
method populate_context : callback:(source_completion_context -> unit) -> GtkSignal.id
method show : callback:(unit -> unit) -> GtkSignal.id
method notify_accelerators : callback:(int -> unit) -> GtkSignal.id
method notify_auto_complete_delay : callback:(int -> unit) -> GtkSignal.id
method notify_proposal_page_size : callback:(int -> unit) -> GtkSignal.id
method notify_provider_page_size : callback:(int -> unit) -> GtkSignal.id
method notify_remember_info_visibility : callback:(bool -> unit) -> GtkSignal.id
method notify_select_on_show : callback:(bool -> unit) -> GtkSignal.id
method notify_show_headers : callback:(bool -> unit) -> GtkSignal.id
method notify_show_icons : callback:(bool -> unit) -> GtkSignal.id
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