1
IntListQ.deQ (IntListQ.emptyQ)
TA_Exception
2
IntListQ.deQ ([],[[1];[2];[3]])
TA_Result ([1], ([], [[2];[3]]))
2
IntListQ.deQ (([[1];[2];[3];[4]], [[0]]))
TA_Result ([0], ([[1];[2];[3];[4]], []))
2
IntListQ.deQ (([[1];[2];[3];[4]], []))
TA_Result ([4], ([], [[3];[2];[1]]))
1
([],IntListQ.enQ (IntListQ.emptyQ, [5]))
TA_Result ([],([[5]], []))
2 
([],IntListQ.enQ (([[1];[2];[3];[4]], []),[5;6]))
TA_Result ([], ([[5;6];[1];[2];[3];[4]], []))