GtkSourceView3Props.SourceBufferval cast : 'a Gobject.obj -> GtkSourceView3_types.source_buffer Gobject.objmodule P : sig ... endmodule S : sig ... endval create : GtkSourceView3_types.source_buffer Gobject.param list -> GtkSourceView3_types.source_buffer Gobject.objval make_params : cont:([> `sourcebuffer ] as 'a Gobject.param list -> 'b) ->
'a Gobject.param list -> ?highlight_matching_brackets:bool -> ?highlight_syntax:bool ->
?language:GtkSourceView3_types.source_language Gobject.obj -> ?max_undo_levels:int -> ?style_scheme:GtkSourceView3_types.source_style_scheme Gobject.obj -> ?undo_manager:GtkSourceView3_types.source_undo_manager Gobject.obj -> 'b