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