class STRING_RECYCLING_POOL
ensure
- Result.is_empty
- Result.capacity >= capacity
require
ensure
- Result /= string
- Result.is_equal(string)
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