- allBooleans = allocDefVectorBoolean();
- allSets = allocDefVectorSet();
- allElements = allocDefVectorElement();
- allPredicates = allocDefVectorPredicate();
- allTables = allocDefVectorTable();
- allOrders = allocDefVectorOrder();
- allFunctions = allocDefVectorFunction();