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