Module CamlinternalMenhirLib.RowDisplacement
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