Module GtkSourceView3_types
type source_style_scheme = [ | `sourcestylescheme
]type source_style_scheme_manager = [ | `sourcestyleschememanager
]type source_completion_info = [ | Gtk.window| `sourcecompletioninfo
]type source_completion_provider = [ | `sourcecompletionprovider
]type source_completion_proposal = [ | `sourcecompletionproposal
]type source_completion_activation = [ | `sourcecompletionactivation
]type source_completion_context = [ | `sourcecompletioncontext
]type source_completion = [ | `sourcecompletion
]type source_mark = [ | `sourcemark
]type source_mark_attributes = [ | `sourcemarkattributes
]type source_buffer = [ | `textbuffer| `sourcebuffer
]type source_language = [ | `sourcelanguage
]type source_language_manager = [ | `sourcelanguagemanager
]type source_undo_manager = [ | `sourceundomanager
]