Runtime Type Encoding
At runtime, when we need to describe an Eiffel type (TYPE_A instance in the compiler), we use the following encoding:
Legend:
- Words in uppercase refer to constant defined in $EIFFEL_SRC/C/run-time/include/rt_gen_types.h
- Words in red refer to another abstraction described in the above diagram
- Eiffel type_id refers to the `type_id' in finalized mode and the `static_type_id' in workbench mode.
- All other words should be self explanatory