| |||||||||||||
KASH3 Reference Manual | |||||||||||||
| |||||||||||||
FunctionDescriptionIf `obj' is already an element of `D' then `D' is not changed. Otherwise `obj' is inserted such that `D' is again a dry afterwards. Note: This function works by side effect and returns a state. | |||||||||||||
Built:
Mon Nov 14 21:12:39 UTC 2005 on mackThe KANT Group |