9 ArrayDef(Element, Element *);
10 ArrayDef(Boolean, Boolean *);
13 VectorDef(Table, Table *);
14 VectorDef(Set, Set *);
15 VectorDef(Boolean, Boolean *);
16 VectorDef(Constraint, Constraint *);
17 VectorDef(Function, Function *);
18 VectorDef(Predicate, Predicate *);
19 VectorDef(Element, Element *);
20 VectorDef(Order, Order *);
21 VectorDef(TableEntry, TableEntry *);
22 VectorDef(ASTNode, ASTNode *);
23 VectorDef(Int, uint64_t);
25 HashTableDef(Void, void *, void *);
26 HashTableDef(BoolConst, BooleanOrder *, Constraint *);
28 HashSetDef(Void, void *);