user_defined_function


INSTANCE user_defined_function#2;
	name = "value_is_within_range";
	formal_parameters = [formal_parameter#28, formal_parameter#29];
	return_type = simple_type(boolean_type);
	parameter_type = simple_type(boolean_type);
	body = {return_statement#2};
END_INSTANCE;

INSTANCE user_defined_function#3;
	name = "is_sub_range";
	formal_parameters = [formal_parameter#30, formal_parameter#31];
	return_type = simple_type(boolean_type);
	parameter_type = simple_type(boolean_type);
	body = {return_statement#3};
END_INSTANCE;