sig
  val cast :
    'Gobject.obj ->
    GtkSourceView3_types.source_completion_proposal Gobject.obj
  module P :
    sig
      val icon :
        ([> `sourcecompletionproposal ], GdkPixbuf.pixbuf) Gobject.property
      val info : ([> `sourcecompletionproposal ], string) Gobject.property
      val label : ([> `sourcecompletionproposal ], string) Gobject.property
      val markup : ([> `sourcecompletionproposal ], string) Gobject.property
      val text : ([> `sourcecompletionproposal ], string) Gobject.property
    end
  module S :
    sig
      val changed :
        ([> `sourcecompletionproposal ], unit -> unit) GtkSignal.t
    end
  val create :
    GtkSourceView3_types.source_completion_proposal Gobject.param list ->
    GtkSourceView3_types.source_completion_proposal Gobject.obj
end