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