attribute IDLType original_type_def;
Generated by the ORBacus IDL-to-HTML translator (non-commercial)