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