built_in_constant


INSTANCE built_in_constant#97;
	corresponds_to = {correspondence#20};
	tipe = defined_type#37;
	is_variable = false;
	built_in_value = built_in(self_constant);
END_INSTANCE;

INSTANCE built_in_constant#98;
	corresponds_to = {correspondence#67};
	tipe = indeterminate_type(indeterminate);
	is_variable = false;
	built_in_value = built_in(indeterminate);
END_INSTANCE;

INSTANCE built_in_constant#99;
	corresponds_to = {correspondence#3, correspondence#54};
	tipe = indeterminate_type(indeterminate);
	is_variable = false;
	built_in_value = built_in(indeterminate);
END_INSTANCE;

INSTANCE built_in_constant#100;
	corresponds_to = {correspondence#24, correspondence#36};
	tipe = indeterminate_type(indeterminate);
	is_variable = false;
	built_in_value = built_in(indeterminate);
END_INSTANCE;

INSTANCE built_in_constant#101;
	corresponds_to = {correspondence#67};
	tipe = indeterminate_type(indeterminate);
	is_variable = false;
	built_in_value = built_in(indeterminate);
END_INSTANCE;

INSTANCE built_in_constant#102;
	corresponds_to = {correspondence#20};
	tipe = defined_type#44;
	is_variable = false;
	built_in_value = built_in(self_constant);
END_INSTANCE;

INSTANCE built_in_constant#103;
	tipe = indeterminate_type(indeterminate);
	is_variable = false;
	built_in_value = built_in(indeterminate);
END_INSTANCE;

INSTANCE built_in_constant#104;
	tipe = indeterminate_type(indeterminate);
	is_variable = false;
	built_in_value = built_in(indeterminate);
END_INSTANCE;

INSTANCE built_in_constant#105;
	tipe = indeterminate_type(indeterminate);
	is_variable = false;
	built_in_value = built_in(indeterminate);
END_INSTANCE;

INSTANCE built_in_constant#106;
	corresponds_to = {correspondence#3, correspondence#36};
	tipe = indeterminate_type(indeterminate);
	is_variable = false;
	built_in_value = built_in(indeterminate);
END_INSTANCE;

INSTANCE built_in_constant#107;
	corresponds_to = {correspondence#24, correspondence#54};
	tipe = indeterminate_type(indeterminate);
	is_variable = false;
	built_in_value = built_in(indeterminate);
END_INSTANCE;