built_in_function


INSTANCE built_in_function#6;
	name = "EXISTS";
	formal_parameters = [formal_parameter#7];
	return_type = simple_type(boolean_type);
END_INSTANCE;