module GtkSourceView3Props: sig
.. end
module Object: GtkObject
val ml_gtk_source_view_init : unit -> unit
module PrivateProps: sig
.. end
val may_cons : ('a, 'b) Gobject.property ->
'b option -> 'a Gobject.param list -> 'a Gobject.param list
val may_cons_opt : ('a, 'b option) Gobject.property ->
'b option -> 'a Gobject.param list -> 'a Gobject.param list
module SourceStyleScheme: sig
.. end
module SourceStyleSchemeManager: sig
.. end
module SourceCompletionInfo: sig
.. end
module SourceCompletionProposal: sig
.. end
module SourceCompletionItem: sig
.. end
module SourceCompletionProvider: sig
.. end
module SourceCompletionContext: sig
.. end
module SourceCompletion: sig
.. end
module SourceLanguage: sig
.. end
module SourceLanguageManager: sig
.. end
module SourceMark: sig
.. end
module SourceMarkAttributes: sig
.. end
module SourceUndoManager: sig
.. end
module SourceBuffer: sig
.. end
module SourceView: sig
.. end