Table of Contents
Mapped types are C++ types that quince (with help from the backends) knows how to represent. A mapped type is allowed to be:
What makes a C++ type a mapped type is that it has a mapper class. We can categorize mapped types according to the way the mapper class is supplied.
Tis a mapped type
T0, ~T1 ...
T0, T1 ...are mapped types.
Whatever a type
T's mapper class might be, and
whoever supplies it, it is always the case that it implements the interface