1Diffing.Define(3)                OCaml library               Diffing.Define(3)
2
3
4

NAME

6       Diffing.Define  - Define(Defs) creates the diffing types from the types
7       defined in Defs and the functors that need to be instantatied with  the
8       diffing algorithm parameters
9

Module

11       Module   Diffing.Define
12

Documentation

14       Module Define
15        : functor (D : Defs) -> sig end
16
17
18
19       Define(Defs)  creates  the diffing types from the types defined in Defs
20       and the functors that need to be instantatied with  the  diffing  algo‐
21       rithm parameters
22
23
24       Parameters:
25
26       "D"
27
28       Diffing.Defs
29
30
31
32
33
34
35
36       type change = (D.left, D.right, D.eq, D.diff) Diffing.change
37
38
39       The type of potential changes on a list.
40
41
42       type patch = change list
43
44
45       A patch is an ordered list of changes.
46
47
48       module type Parameters = sig end
49
50
51
52
53       module type S = sig end
54
55
56
57
58       module Simple : sig end -> S
59
60
61
62
63       module Left_variadic : sig end -> S
64
65
66
67   Variadic diffing
68       Variadic  diffing  allows to expand the lists being diffed during diff‐
69       ing.  in one specific direction.
70
71
72       module Right_variadic : sig end -> S
73
74
75
76
77
78
79
80OCamldoc                          2022-07-22                 Diffing.Define(3)