sig
type kind =
Frama_C
| Unmark
| Custom of string
| Feedback of Property_status.Feedback.t
val register : name:string -> file:string -> unit
val get : Gtk_helper.Icon.kind -> GdkPixbuf.pixbuf
val default : unit -> GdkPixbuf.pixbuf
end