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 default : 'a comparatorval nocompare : 'a comparatorval product : 'a comparator -> 'b comparator -> ('a * 'b) comparatorval product3 :
'a comparator ->
'b comparator ->
'c comparator ->
('a * 'b * 'c) comparatorval product4 :
'a comparator ->
'b comparator ->
'c comparator ->
'd comparator ->
('a * 'b * 'c * 'd) comparatorval product5 :
'a comparator ->
'b comparator ->
'c comparator ->
'd comparator ->
'e comparator ->
('a * 'b * 'c * 'd * 'e) comparatorval inner_product : 'a comparator -> 'a comparator -> 'a comparatorval option_compare : 'a comparator -> 'a option comparatorval by_map : 'b comparator -> ('a -> 'b) -> 'a comparatorval by_default_map : ('a -> 'b) -> 'a comparator