Module MenhirLib.RowDisplacementSource

Sourcetype 'a table = int array * 'a array
Sourceval compress : ('a -> 'a -> bool) -> ('a -> bool) -> 'a -> int -> int -> 'a array array -> 'a table
Sourceval get : 'a table -> int -> int -> 'a
Sourceval getget : ('displacement -> int -> int) -> ('data -> int -> 'a) -> ('displacement * 'data) -> int -> int -> 'a