package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type
inherit action
inherit 'a selector
method set_options : ('a * string) list -> unit
method set_render : ('a -> string) -> unit
method set_items : 'a list -> unit
method get_items : 'a list