package frama-c

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
method custom_decode_iter : custom_list -> unit -> unit -> custom_list
method custom_encode_iter : custom_list -> custom_list * unit * unit
method custom_get_iter : Gtk.tree_path -> custom_list option
method custom_get_path : custom_list -> Gtk.tree_path
method custom_iter_children : custom_list option -> custom_list option
method custom_iter_has_child : custom_list -> bool
method custom_iter_n_children : custom_list option -> int
method custom_iter_next : custom_list -> custom_list option
method custom_iter_nth_child : custom_list option -> int -> custom_list option
method custom_iter_parent : custom_list -> custom_list option
method custom_value : Gobject.g_type -> custom_list -> column:int -> Gobject.basic
method insert : A.t -> unit
method clear : unit -> unit