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