CamlinternalMenhirLib.RowDisplacement.3o

Module   CamlinternalMenhirLib.RowDisplacement

Module RowDisplacement
: sig end

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