GtkSourceView3Props.SourceMarkval cast : 'a Gobject.obj -> GtkSourceView3_types.source_mark Gobject.objmodule P : sig ... endval create : ?category:string -> GtkSourceView3_types.source_mark Gobject.param list -> GtkSourceView3_types.source_mark Gobject.obj