Module GtkSourceView_types

module GtkSourceView_types: sig .. end

type source_tag_style = [ `sourcetagstyle ] 

type source_tag = [ `sourcetag | `texttag ] 

type source_tag_table = [ `sourcetagtable | `texttagtable ] 

type source_style_scheme = [ `sourcestylescheme ] 

type source_view = [ `container | `gtk | `sourceview | `textview | `widget ] 

type source_marker = [ `sourcemarker ] 

type source_buffer = [ `sourcebuffer | `textbuffer ] 

type source_language = [ `sourcelanguage ] 

type source_languages_manager = [ `sourcelanguagesmanager ]