Functor Mergeable_vector.Make

module Make: 
functor (V : Vector-> Mergeable_vector with type atom = V.atom and type t = V.t
Parameters:
V : Vector


Mergeable-vector


include Mergeable_vector.Vector
type patch 
The type of patch.
val diff : t -> t -> patch
diff a b returns a patch p such that apply a p = b. The difference is computed by Wagner-Fischer algorithm. O(length(a) * length(b)) time and space.
val apply : t -> patch -> t
apply a p applies the compatibe patch p on a.

Raise Invalid_argument "incompatible patch" if the patch cannot be applied.

val merge : resolve:(atom -> atom -> atom) -> ancestor:t -> t -> t -> t
merge r a l r performs a 3-way merge between two vectors l and r, and their common ancestor a. Merge conflicts are handled by the resolve function.