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

The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.