plucky (3) CamlinternalMenhirLib.RowDisplacement.3o.gz

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