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