sig
  module ProviderPriority :
    sig
      type t = int
      val fallback : GtkData.StyleContext.ProviderPriority.t
      val theme : GtkData.StyleContext.ProviderPriority.t
      val settings : GtkData.StyleContext.ProviderPriority.t
      val application : GtkData.StyleContext.ProviderPriority.t
      val user : GtkData.StyleContext.ProviderPriority.t
    end
  external add_provider :
    Gtk.style_context ->
    Gtk.css_provider -> GtkData.StyleContext.ProviderPriority.t -> unit
    = "ml_gtk_style_context_add_provider"
  external add_provider_for_screen :
    Gdk.screen ->
    Gtk.css_provider -> GtkData.StyleContext.ProviderPriority.t -> unit
    = "ml_gtk_style_context_add_provider_for_screen"
end