menu
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
Frama-C