2 INTERFACE count_distinct_sorted
3 MODULE PROCEDURE count_distinct_sorted/**/vol7d_poly_types
7 INTERFACE count_distinct
8 MODULE PROCEDURE count_distinct/**/vol7d_poly_types
14 INTERFACE pack_distinct_sorted
15 MODULE PROCEDURE pack_distinct_sorted/**/vol7d_poly_types
19 INTERFACE pack_distinct
20 MODULE PROCEDURE pack_distinct/**/vol7d_poly_types
23 INTERFACE count_and_pack_distinct
24 MODULE PROCEDURE count_and_pack_distinct/**/vol7d_poly_types
28 INTERFACE map_distinct
29 MODULE PROCEDURE map_distinct/**/vol7d_poly_types
32 INTERFACE map_inv_distinct
33 MODULE PROCEDURE map_inv_distinct/**/vol7d_poly_types
38 MODULE PROCEDURE index/**/vol7d_poly_types
44 INTERFACE index_sorted
45 MODULE PROCEDURE index_sorted/**/vol7d_poly_types
51 MODULE PROCEDURE heapsort/**/vol7d_poly_types