Module GtkSourceView3.SourceLanguage
val get_id : [> `sourcelanguage ] Gtk.obj -> stringval get_name : [> `sourcelanguage ] Gtk.obj -> stringval get_section : [> `sourcelanguage ] Gtk.obj -> stringval get_hidden : [> `sourcelanguage ] Gtk.obj -> boolval mime_types : [> `sourcelanguage ] Gtk.obj -> string listval globs : [> `sourcelanguage ] Gtk.obj -> string listval style_name : [> `sourcelanguage ] Gtk.obj -> string -> string optionval style_ids : [> `sourcelanguage ] Gtk.obj -> string list