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