CamlinternalMenhirLib.RowDisplacement

# 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