CamlinternalMenhirLib.RowDisplacement
Section: OCaml library (3o)
Updated: 2020-01-30
Index
Return to Main Contents
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
Index
- NAME
-
- Module
-
- Documentation
-
This document was created by
man2html,
using the manual pages.
Time: 00:05:37 GMT, March 31, 2021