fun lt3 i = i < 3;
print "Testing ander\t";
print "-------------\t";
print ("ander [] = " ^ Bool.toString (ander []) ^ "    --");
print ("ander [true];             " ^ Bool.toString (ander [true]) ^ "   --");
print ("ander [false];            " ^ Bool.toString (ander [false]) ^ "   --");
print ("ander [true,true];        " ^ Bool.toString (ander [true,true]) ^ "   --");
print ("ander [true,false];       " ^ Bool.toString (ander [true,false]) ^ "   --");
print ("ander [false,true];       " ^ Bool.toString (ander [false,true]) ^ "   --");
print ("ander [false,false];      " ^ Bool.toString (ander [false,false]) ^ "   --");
print ("ander [true,true,true];   " ^ Bool.toString (ander [true,true,true]) ^ "   --");
print ("ander [true,false,true];  " ^ Bool.toString (ander [true,false,true]) ^ "   --");
print ("ander [false,true,false]; " ^ Bool.toString (ander [false,true,false]) ^ "   --");
print ("ander [false,false,false];" ^ Bool.toString (ander [false,false,false]) ^ "   --");

print "Testing spansv\t";
print "--------------\t";
spansv [] [1,2,3,4,5] lt3;
spansv [1,2,3,4,5] [] lt3;
spansv [5,4,3,2,1] [1,2,3,4,5] lt3;
spansv [1,2,3,4,5] [5,4,3,2,1] lt3;
spansv [1,2] [4,5,3] lt3;

print "Testing span\t";
print "------------\t";
span [1,2,3,4,5] lt3;
span [3,2,3,4,5] lt3;
span [1,2,0,1,2] lt3;
span [] lt3;
span [1] lt3;
span [5] lt3;

print "Testing alternating_sum\t";
print "-----------------------\t";
alternating_sum [];
alternating_sum [1];
alternating_sum [1,2];
alternating_sum [1,2,3];
alternating_sum [1,2,3,4];
alternating_sum [1,2,3,4,5];

print "Testing isEmpty\t";
print "---------------\t";
isEmpty [];
isEmpty [1];
isEmpty [1,2];

print "Testing push\t";
print "------------\t";
push 1 [];
push 2 [1];
push 3 [2,1];

print "Testing pop\t";
print "-----------\t";
pop [1];
pop [2,1];
pop [3,2,1];

print "Testing multipush\t";
print "-----------------\t";
multipush [] [];
multipush [1] [];
multipush [] [1];
multipush [1,2,3] [];
multipush [] [4,5,6];
multipush [1,2,3] [4];
multipush [1] [4,5,6];
multipush [1,2,3] [4,5,6];

print "Testing multipop\t";
print "---------------\t";
multipop 0 [];
multipop 0 [1];
multipop 0 [2,1];
multipop 1 [1];
multipop 1 [3,2,1];
multipop 2 [2,1];
multipop 2 [3,2,1];