 
 
 
 
14.9 Coercions and Sections
 The inheritance mechanism is compatible with the section
mechanism. The global classes and coercions defined inside a section
are redefined after its closing, using their new value and new
type. The classes and coercions which are local to the section are
simply forgotten (no warning message is printed). 
Coercions with a local source class or a local target class, and 
coercions which do no more verify the uniform inheritance condition
are also forgotten.
 
 
 
 
