Module Update_ordering


module Update_ordering: sig .. end

type update_holder 

type delta =
| Insert of Dm.node * Dm.node option * Dm.node list
| Delete of Dm.node * Dm.node
| ReplaceValue of Dm.node * Dm.text
| Replace of Dm.node * Dm.node * Dm.node list
| Rename of Dm.node * Datatypes.xs_QName
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