9 ArrayDef(Element, Element *);
10 ArrayDef(Boolean, Boolean *);
14 VectorDef(Table, Table *, 4);
15 VectorDef(Set, Set *, 4);
16 VectorDef(Boolean, Boolean *, 4);
17 VectorDef(Constraint, Constraint *, 4);
18 VectorDef(Function, Function *, 4);
19 VectorDef(Predicate, Predicate *, 4);
20 VectorDef(Element, Element *, 4);
21 VectorDef(Order, Order *, 4);
22 VectorDef(TableEntry, TableEntry *, 4);
23 VectorDef(ASTNode, ASTNode *, 4);
24 VectorDef(FunctionEncoding, FunctionEncoding *, 4);
25 VectorDef(ElementEncoding, ElementEncoding *, 4);
26 VectorDef(Int, uint64_t, 4);
29 inline unsigned int Ptr_hash_function(void * hash) {
30 return (unsigned int)((uint64_t)hash >> 4);
33 inline bool Ptr_equals(void * key1, void * key2) {
37 HashTableDef(Void, void *, void *, Ptr_hash_function, Ptr_equals);
38 HashSetDef(Void, void *, Ptr_hash_function, Ptr_equals);