sig
  val cast :
    'Gobject.obj ->
    GtkSourceView3_types.source_completion_provider Gobject.obj
  external get_name : [> `sourcecompletionprovider ] Gobject.obj -> string
    = "ml_gtk_source_completion_provider_get_name"
  external get_icon :
    [> `sourcecompletionprovider ] Gobject.obj -> GdkPixbuf.pixbuf option
    = "ml_gtk_source_completion_provider_get_icon"
  external populate :
    [> `sourcecompletionprovider ] Gobject.obj ->
    GtkSourceView3_types.source_completion_context Gobject.obj -> unit
    = "ml_gtk_source_completion_provider_populate"
  external get_activation :
    [> `sourcecompletionprovider ] Gobject.obj ->
    SourceView3Enums.source_completion_activation_flags list
    = "ml_gtk_source_completion_provider_get_activation"
  external get_info_widget :
    [> `sourcecompletionprovider ] Gobject.obj ->
    GtkSourceView3_types.source_completion_proposal Gobject.obj ->
    Gtk.widget Gobject.obj option
    = "ml_gtk_source_completion_provider_get_info_widget"
  external update_info :
    [> `sourcecompletionprovider ] Gobject.obj ->
    GtkSourceView3_types.source_completion_proposal Gobject.obj ->
    GtkSourceView3_types.source_completion_info Gobject.obj -> unit
    = "ml_gtk_source_completion_provider_update_info"
  external get_start_iter :
    [> `sourcecompletionprovider ] Gobject.obj ->
    GtkSourceView3_types.source_completion_context Gobject.obj ->
    GtkSourceView3_types.source_completion_proposal Gobject.obj ->
    Gtk.text_iter = "ml_gtk_source_completion_provider_get_start_iter"
  external activate_proposal :
    [> `sourcecompletionprovider ] Gobject.obj ->
    GtkSourceView3_types.source_completion_proposal Gobject.obj ->
    Gtk.text_iter -> bool
    = "ml_gtk_source_completion_provider_activate_proposal"
  external get_interactive_delay :
    [> `sourcecompletionprovider ] Gobject.obj -> int
    = "ml_gtk_source_completion_provider_get_interactive_delay"
  external get_priority : [> `sourcecompletionprovider ] Gobject.obj -> int
    = "ml_gtk_source_completion_provider_get_priority"
end