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