-- This is a test control file

test_name multi-constraint-tuples2
test_description Two TUPLE types as constraint types. It also tests the call to the alias [] (bracket feature).

copy_sub 	Ace $TEST Ace
copy_raw 	test.e $CLUSTER test.e
copy_raw 	equality_tuple.e $CLUSTER equality_tuple.e


compile_frozen
compile_result ok
test_end