destruct

       destruct() - remove an object from the games

SYNOPSIS

       void destruct( object ob );

DESCRIPTION

       Completely  destroy and remove object `ob'. After the call
       to destruct(), no global variables will exist any  longer,
       only  locals,  and  arguments.   If `ob' is this_object(),
       execution will continue, but it is best to return a  value
       immediately.

SEE ALSO

       clone_object(3), new(3), destruct_env_of(4), move(4)