package TCSLib
-
TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val make : 'a Tcsbasedata.Comparators.comparator -> 'a -> 'a tval touch : 'a t -> 'a -> unitval encode : 'a t -> 'a -> intval decode : 'a t -> int -> 'aval compare : 'a t -> int Tcsbasedata.Comparators.comparatorval iterate : 'a t -> (int * 'a) Tcsbasedata.Iterators.iteratorval size : 'a t -> intval build_recursively :
'a t ->
('a -> 'a Tcsbasedata.Iterators.iterator) ->
unit