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