Diffing.Define
Define(Defs)
creates the diffing types from the types defined in Defs
and the functors that need to be instantatied with the diffing algorithm parameters
type patch = change list
A patch is an ordered list of changes.
module type Parameters = sig ... end
module type S = sig ... end
module Simple (_ : Parameters with type update_result := D.state) : S
module Left_variadic
(_ : Parameters with type update_result := D.state * D.left array) :
S
module Right_variadic
(_ : Parameters with type update_result := D.state * D.right array) :
S