GtkSourceView3Props.SourceCompletionval cast : 'a Gobject.obj -> GtkSourceView3_types.source_completion Gobject.objmodule P : sig ... endmodule S : sig ... endval add_provider : [> `sourcecompletion ] Gobject.obj -> GtkSourceView3_types.source_completion_provider Gobject.obj -> boolval remove_provider : [> `sourcecompletion ] Gobject.obj -> GtkSourceView3_types.source_completion_provider Gobject.obj -> boolval block_interactive : [> `sourcecompletion ] Gobject.obj -> unitval get_providers : [> `sourcecompletion ] Gobject.obj -> GtkSourceView3_types.source_completion_provider Gobject.obj listval create_context : [> `sourcecompletion ] Gobject.obj -> Gtk.text_iter -> GtkSourceView3_types.source_completion_context Gobject.objval hide : [> `sourcecompletion ] Gobject.obj -> unitval move_window : [> `sourcecompletion ] Gobject.obj -> Gtk.text_iter -> unitval show : [> `sourcecompletion ] Gobject.obj -> GtkSourceView3_types.source_completion_provider Gobject.obj list -> GtkSourceView3_types.source_completion_context Gobject.obj -> boolval unblock_interactive : [> `sourcecompletion ] Gobject.obj -> unit