Go up to Miscellaneous Go forward to stop : Stopping a Bag
|
close
: Closing a Bag->
close
() ->
close
(n) Specification: Closes the bag b.
close
if
b is unbound or if b is bound to an already closed or
stopped bag. It is illegal to
apply close
to n.