1Diffing.Defs(3) OCaml library Diffing.Defs(3)
2
3
4
6 Diffing.Defs - The core types of a diffing implementation
7
9 Module type Diffing.Defs
10
12 Module type Defs
13 = sig end
14
15
16 The core types of a diffing implementation
17
18
19
20
21
22 type left
23
24
25
26
27 type right
28
29
30
31
32 type eq
33
34
35 Detailed equality trace
36
37
38 type diff
39
40
41 Detailed difference trace
42
43
44 type state
45
46
47 environment of a partial patch
48
49
50
51
52
53OCamldoc 2023-01-23 Diffing.Defs(3)