/* file: t_enum8.dat no constant-defs */ T-enumeration /**/ /**/(/**/file-name/**/yacco2_T_enumeration /**/,/**/name-space /**/NS_yacco2_T_enum/**/)/***/ {/***/ constant-defs1/**/ bool True(true); *** /**/}