package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method as_source_mark_attributes : GtkSourceView3_types.source_mark_attributes Gtk.obj
method background : Gdk.rgba
method icon_name : string
method pixbuf : GdkPixbuf.pixbuf
method set_background : Gdk.rgba -> unit
method set_icon_name : string -> unit
method set_pixbuf : GdkPixbuf.pixbuf -> unit
OCaml

Innovation. Community. Security.