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

NAME

6       Diffing.Define.Left_variadic -  Variadic diffing
7

Module

9       Module   Diffing.Define.Left_variadic
10

Documentation

12       Module Left_variadic
13        : sig end -> S
14
15
16
17   Variadic diffing
18       Variadic  diffing  allows to expand the lists being diffed during diff‐
19       ing.  in one specific direction.
20
21
22       Parameters:
23
24       "*"
25
26       sig end
27
28
29
30
31
32
33
34
35       val diff : D.state -> D.left array  ->  D.right  array  ->  Diffing.De‐
36       fine.patch
37
38
39       diff  state  l r computes the optimal patch between l and r , using the
40       initial state state .
41
42
43
44
45
46OCamldoc                          2023-07-20   Diffing.Define.Left_variadic(3)