CMapType

A parametric type of maps with specific key and value types: [t]u where t&u:type