Ada has the concept of Pools, the heap is one of the pools, you can define your ...

		Lucretia9 on Dec 29, 2024 \| parent \| context \| favorite \| on: Ada's dependent types, and its types as a whole Ada has the concept of Pools, the heap is one of the pools, you can define your own.