有学software 的师父么？帮忙看个东西。。。。谢谢

Specify the abstract data type LIST with the following operations
null:denotes the empty list
add:inserts a sort of NAT into the list
del:deletes an element in the list at a certain position
length:returns the length of the list
append:add two lists together
sum:returns the sum of the natural numbers stored in the list
isEMPTY:return whether the list is empty

specify the NAT and BOOLEAN first

谢谢，，，，留个mail，[e-mail]