module SourceCompletionProposal:sig
..end
val cast : 'a Gobject.obj -> GtkSourceView3_types.source_completion_proposal Gobject.obj
module P:sig
..end
module S:sig
..end
val create : GtkSourceView3_types.source_completion_proposal Gobject.param list ->
GtkSourceView3_types.source_completion_proposal Gobject.obj