+
Point of view
All features
class RECYCLING_POOL [R_ -> RECYCLABLE]
- Direct parents
- insert list: MEMORY
require
ensure
- Result /= no_item implies ring.item(Result).item /= Void
frozen
effective function
frozen
effective function
frozen
effective procedure
frozen
effective function
frozen
effective procedure
frozen
effective function
set_default_memory_strategy
frozen
effective procedure
frozen
effective function