Module Wpo.WPOmap

module WPOmap: PODatatype.Map