1Diffing_with_keys.Define.ParameterOsC(a3m)l liDbirfafriyng_with_keys.Define.Parameters(3)
2
3
4

NAME

6       Diffing_with_keys.Define.Parameters - no description
7

Module type

9       Module type   Diffing_with_keys.Define.Parameters
10

Documentation

12       Module type Parameters
13        = sig end
14
15
16
17
18
19
20
21
22       val weight : Diffing_with_keys.Define.change -> int
23
24
25
26
27       val   test   :   D.state   ->  Diffing_with_keys.Define.left  ->  Diff‐
28       ing_with_keys.Define.right -> (unit, Diffing_with_keys.Define.diff) re‐
29       sult
30
31
32
33
34       val update : Diffing_with_keys.Define.change -> D.state -> D.state
35
36
37
38
39       val key_left : D.left -> string
40
41
42
43
44       val key_right : D.right -> string
45
46
47
48
49
50
51OCamldoc                          2023-07D-i2f0fing_with_keys.Define.Parameters(3)
Impressum