NAME

CamlinternalMenhirLib.RowDisplacement - no description

Module

Module CamlinternalMenhirLib.RowDisplacement

Documentation

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