Module Rep_buffer (.ml)


module Rep_buffer: sig .. end
Copy-paste buffering functions.

val copy : Rep_desc.report_ele -> unit
Copy the given report element in the buffer.
val paste : unit -> Rep_desc.report_ele option
Return a copy of the report element in the buffer, if any.