1CamlinternalMenhirLib.RowDisplacemOeCnatm(l3C)laimblrianrtyernalMenhirLib.RowDisplacement(3)
2
3
4

NAME

6       CamlinternalMenhirLib.RowDisplacement - no description
7

Module

9       Module   CamlinternalMenhirLib.RowDisplacement
10

Documentation

12       Module RowDisplacement
13        : sig end
14
15
16
17
18
19
20
21       type 'a table = int array * 'a array
22
23
24
25
26
27       val  compress  : ('a -> 'a -> bool) -> ('a -> bool) -> 'a -> int -> int
28       -> 'a array array -> 'a table
29
30
31
32
33       val get : 'a table -> int -> int -> 'a
34
35
36
37
38       val getget : ('displacement -> int -> int) -> ('data -> int ->  'a)  ->
39       'displacement * 'data -> int -> int -> 'a
40
41
42
43
44
45
46OCamldoc                          2019-C0a7m-l3i0nternalMenhirLib.RowDisplacement(3)