Up
module
RowDisplacement
:
sig
#
type
'a table = int array * 'a array
#
val
compress : ('a
->
'a
->
bool)
->
('a
->
bool)
->
'a
->
int
->
int
->
'a array array
->
'a
table
#
val
get : 'a
table
->
int
->
int
->
'a
#
val
getget : ('displacement
->
int
->
int)
->
('data
->
int
->
'a)
->
'displacement * 'data
->
int
->
int
->
'a
end