#include <coherence/lang/lang_spec.hpp>
| Public Types | |
| typedef P | inherited | 
| Marker for the actual inherited parent class. | |
| typedef P::super | grand | 
| The purpose of this definition is to cause a compilation error if an attempt is made to instantiate the extends template by supplying an interface. | |
| typedef A | alias | 
| Alias type used in throwables. | |