sig
  type 'a table = int array * 'a array
  val compress 
    ('a -> 'a -> bool) ->
    ('a -> bool) ->
    'a ->
    int ->
    int -> 'a array array -> 'a CamlinternalMenhirLib.RowDisplacement.table
  val get 
    'a CamlinternalMenhirLib.RowDisplacement.table -> int -> int -> 'a
  val getget 
    ('displacement -> int -> int) ->
    ('data -> int -> 'a) -> 'displacement * 'data -> int -> int -> 'a
end