src/structs.c

   1 #include "structs.h"
   2 #include "mymemory.h"
   3
   4 VectorImpl(Int, uint64_t, 4);
   5 VectorImpl(Boolean, Boolean *, 4);
   6 VectorImpl(Void, void *, 4);
   7 VectorImpl(Constraint, Constraint *, 4);
   8 HashTableImpl(Void, void *, void *, Ptr_hash_function, Ptr_equals);
   9 HashSetImpl(Void, void *, Ptr_hash_function, Ptr_equals);