NatTable.borg

{
testtable:[];
Empty()::
    {
    bool2:bool1:true;
    t[0]:(bool1:=false);
    u[10,0,5]:(bool2:=false);
    (t~empty) & (u[2]~empty) & bool1 & bool2
    };

Tab()::
    {
    testtable:=tab(5,4,3,2,1);
    b:testtable;
    (b[1]=5) & (b[2]=4) & (b[3]=3) & (b[4]=2) & (b[5]=1)
    };

Size():: (size(testtable)=5) & (size([])=0);

ITEM("empty",Empty,1);
ITEM("tab",Tab,1);
ITEM("size",Size,1)
}