//debug=rel(x)true; //require('table', table) /* rel get(t,o,o2) pl::get_(t,o,o2) rel size(t, i) init i=0 //while(get(t,i,_)) next i=2; //while(t=1) next i=2; print(get) true size(t,n) */ t={1,2,3,4} print(n) //x in [1,2] print(x) //y in t print(y) export(t)