1Diffing_with_keys.Define(3) OCaml library Diffing_with_keys.Define(3)
2
3
4
6 Diffing_with_keys.Define - no description
7
9 Module Diffing_with_keys.Define
10
12 Module Define
13 : functor (D : sig end) -> sig end
14
15
16
17
18 Parameters:
19
20 "D"
21
22 sig end
23
24
25
26
27
28
29
30 type diff = (D.left, D.right, D.diff) Diffing_with_keys.mismatch
31
32
33
34
35 type left = D.left Diffing_with_keys.with_pos
36
37
38
39
40 type right = D.right Diffing_with_keys.with_pos
41
42
43
44
45 type composite_change = (D.left, D.right, D.diff) Diff‐
46 ing_with_keys.change
47
48
49 Composite changes and patches
50
51
52 type patch = composite_change list
53
54
55
56
57 type change = (left, right, unit, diff) Diffing.change
58
59
60 Atomic changes
61
62
63 module type Parameters = sig end
64
65
66
67
68 module Simple : Parameters -> sig end
69
70
71
72
73
74
75
76OCamldoc 2023-07-20 Diffing_with_keys.Define(3)