% File to test the pretty printing of lists.
%
% Written by: Richard Meyer
% 11th Dec 1992


write([]),nl?

write([a,b,c]),nl?

write([a,b|c]),nl?

write([a,b,C:c,d,C]),nl?

write([a,b|L:[c,d,L,e]]),nl?

write(A:[a,b,A]),nl?

write(A:[a,b|A]),nl?

write(cons(nil,nil)),nl?

write(A:cons(A,A)),nl?

write(cons(a)),nl?

write(cons(2=>b)),nl?

write([a,b|cons(2=>c)]),nl?

write([a,b|cons(1=>c)]),nl?

write([a,b|cons(2=>nil)]),nl?

write([a,b|nil(1,2,3)]),nl?

write(cons(a,cons(b,cons(c,nil),d))),nl?


mud <| list.
write(mud(a,mud(b,mud(c,nil)))),nl?


write(`{}),nl?

write(`{a,b,c}),nl?

write(`{a,b|c}),nl?

write(`{a,b,C:c,d,C}),nl?

write(`{a,b|L:`{c,d,L,e}}),nl?

write(A:`{a,b,A}),nl?

write(A:`{a,b|A}),nl?

write(`disj({},{})),nl?

write(A:`disj(A,A)),nl?

write(`disj(a)),nl?

write(`disj(2=>b)),nl?

write(`{a;b|disj(2=>c)}),nl?

write(`{a;b|disj(1=>c)}),nl?

write(`{a;b|disj(2=>{})}),nl?

write(`{a;b|{}(1,2,3)}),nl?

write(`disj(a,disj(b,disj(c,{}),d))),nl?

A=bagof(X,X=disj(a,disj(b,disj(c,{}),d)))?

