enumeration_symbol


INSTANCE enumeration_symbol#1;
	name = "equivalent";
END_INSTANCE;

INSTANCE enumeration_symbol#2;
	name = "frame1_stronger";
END_INSTANCE;

INSTANCE enumeration_symbol#3;
	name = "frame2_stronger";
END_INSTANCE;

INSTANCE enumeration_symbol#4;
	name = "incomparable";
END_INSTANCE;

INSTANCE enumeration_symbol#5;
	name = "boolean_type";
END_INSTANCE;

INSTANCE enumeration_symbol#6;
	name = "logical_type";
END_INSTANCE;

INSTANCE enumeration_symbol#7;
	name = "number_type";
END_INSTANCE;

INSTANCE enumeration_symbol#8;
	name = "integer_type";
END_INSTANCE;

INSTANCE enumeration_symbol#9;
	name = "real_type";
END_INSTANCE;

INSTANCE enumeration_symbol#10;
	name = "string_type";
END_INSTANCE;

INSTANCE enumeration_symbol#11;
	name = "binary_type";
END_INSTANCE;

INSTANCE enumeration_symbol#12;
	name = "generic_type";
END_INSTANCE;

INSTANCE enumeration_symbol#13;
	name = "indeterminate";
END_INSTANCE;

INSTANCE enumeration_symbol#14;
	name = "public";
END_INSTANCE;

INSTANCE enumeration_symbol#15;
	name = "protected";
END_INSTANCE;

INSTANCE enumeration_symbol#16;
	name = "private";
END_INSTANCE;

INSTANCE enumeration_symbol#17;
	name = "friendly";
END_INSTANCE;

INSTANCE enumeration_symbol#18;
	name = "boolean_type";
END_INSTANCE;

INSTANCE enumeration_symbol#19;
	name = "char";
END_INSTANCE;

INSTANCE enumeration_symbol#20;
	name = "byte";
END_INSTANCE;

INSTANCE enumeration_symbol#21;
	name = "short";
END_INSTANCE;

INSTANCE enumeration_symbol#22;
	name = "int";
END_INSTANCE;

INSTANCE enumeration_symbol#23;
	name = "long";
END_INSTANCE;

INSTANCE enumeration_symbol#24;
	name = "float";
END_INSTANCE;

INSTANCE enumeration_symbol#25;
	name = "double";
END_INSTANCE;

INSTANCE enumeration_symbol#26;
	name = "e";
END_INSTANCE;

INSTANCE enumeration_symbol#27;
	name = "pi_constant";
END_INSTANCE;

INSTANCE enumeration_symbol#28;
	name = "self_constant";
END_INSTANCE;

INSTANCE enumeration_symbol#29;
	name = "indeterminate";
END_INSTANCE;

INSTANCE enumeration_symbol#30;
	name = "inclusive";
END_INSTANCE;

INSTANCE enumeration_symbol#31;
	name = "exclusive";
END_INSTANCE;

INSTANCE enumeration_symbol#32;
	name = "discrete";
END_INSTANCE;

INSTANCE enumeration_symbol#33;
	name = "continuous";
END_INSTANCE;

INSTANCE enumeration_symbol#34;
	name = "greater_first";
END_INSTANCE;

INSTANCE enumeration_symbol#35;
	name = "lesser_first";
END_INSTANCE;

INSTANCE enumeration_symbol#36;
	name = "lower";
END_INSTANCE;

INSTANCE enumeration_symbol#37;
	name = "upper";
END_INSTANCE;

INSTANCE enumeration_symbol#38;
	name = "express";
END_INSTANCE;

INSTANCE enumeration_symbol#39;
	name = "java";
END_INSTANCE;

INSTANCE enumeration_symbol#40;
	name = "positive";
END_INSTANCE;

INSTANCE enumeration_symbol#41;
	name = "negative";
END_INSTANCE;