Right_variadic._
val weight : change -> int
weight ch returns the weight of the change ch. Used to find the smallest patch.
weight ch
ch
val test : D.state -> D.left -> D.right -> (D.eq, D.diff) result
test st xl xr tests if the elements xl and xr are co mpatible (Ok) or not (Error).
test st xl xr
xl
xr
Ok
Error
val update : change -> D.state -> D.state * D.right array
update ch st returns the new state after applying a change. The update_result type also contains expansions in the variadic case.
update ch st
update_result