sig
type kind =
Frama_C
| Left
| Right
| Relies_on_valid_hyp
| Failed
| Maybe
| Attach
| Check
| Custom of string
val register : name:string -> file:string -> unit
val get : Gtk_helper.Icon.kind -> GdkPixbuf.pixbuf
end