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

NAME

6       Diffing.Define.Parameters - no description
7

Module type

9       Module type   Diffing.Define.Parameters
10

Documentation

12       Module type Parameters
13        = sig end
14
15
16
17
18
19
20
21       type update_result
22
23
24
25
26
27       val weight : Diffing.Define.change -> int
28
29
30       weight  ch  returns  the  weight  of  the change ch .  Used to find the
31       smallest patch.
32
33
34
35       val test : D.state -> D.left -> D.right -> (D.eq, D.diff) result
36
37
38       test st xl xr tests if the elements xl and xr are co  mpatible (  Ok  )
39       or not ( Error ).
40
41
42
43       val update : Diffing.Define.change -> D.state -> update_result
44
45
46       update  ch  st  returns the new state after applying a change.  The up‐
47       date_result type also contains expansions in the variadic case.
48
49
50
51
52
53OCamldoc                          2023-07-20      Diffing.Define.Parameters(3)