Module GtkSourceView3Props.SourceCompletionItem
val cast : 'a Gobject.obj -> GtkSourceView3_types.source_completion_proposal Gobject.obj
module P : sig ... endmodule S : sig ... endGtkSourceView3Props.SourceCompletionItemval cast : 'a Gobject.obj -> GtkSourceView3_types.source_completion_proposal Gobject.objmodule P : sig ... endmodule S : sig ... end