module Update_ordering:sig
..end
type
update_holder
type
delta =
| |
Insert of |
| |
Delete of |
| |
ReplaceValue of |
| |
Replace of |
| |
Rename of |
val allocate_update_holder : update_holder -> update_holder
val add_concrete_update : update_holder -> delta -> unit
val collect_all_updates : update_holder -> delta list
val make_fresh_place_holder : unit -> update_holder