sig
type kind =
Frama_C
| Left
| Right
| Failed
| Maybe
| Check
| 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