module 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
| Parameters: |
|
typechange =(D.left, D.right, D.eq, D.diff) Diffing.change
The type of potential changes on a list.
typepatch =change list
A patch is an ordered list of changes.
module type Parameters =sig..end
module type S =sig..end
module Simple:
module Left_variadic:
Variadic diffing
module Right_variadic: