sig
  val mark :
    GSourceView2.source_buffer ->
    start:int -> stop:int -> Property_status.Feedback.t -> unit
end