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

NAME

6       Diffing_with_keys.Define - no description
7

Module

9       Module   Diffing_with_keys.Define
10

Documentation

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                          2022-07-22       Diffing_with_keys.Define(3)
Impressum