persistent: the are kept in memory even if no external reference
remain. Calling [init()] explicitely will reclaim the space.
*)
persistent: the are kept in memory even if no external reference
remain. Calling [init()] explicitely will reclaim the space.
*)
weak semantics: they may be reclaimed as soon as no external
reference to them exists. The space may still be reclaimed
explicitely by calling [init].
weak semantics: they may be reclaimed as soon as no external
reference to them exists. The space may still be reclaimed
explicitely by calling [init].