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