G | |
| GenericMapSig [GenericMap] | Common signature of map modules based on Ptrees library. |
| GenericSetSig [GenericSet] | |
S | |
| S [GenericMap] | This module type must be implemented to obtain an instantiated GenericMap. |
| S [GenericSet] | This module type must be implemented to obtain an instantiated GenericSet. |
| S [Ptmap] | |
| S [Ptset] |