|KASH3 Reference Manual|
If `obj' is in `dry' it is removed and all entries of `D' are shifted one position leftwards, so that `D' has no holes. If `obj' is not in `D' then `D' is not changed. No error is raised in this case.
Built: Mon Nov 14 21:12:39 UTC 2005 on mackThe KANT Group