36   using KeyTy = std::tuple<unsigned, SDBMDirectExpr, SDBMConstantExpr>;  member
38   bool operator==(const KeyTy &key) const {
44   construct(StorageUniquer::StorageAllocator &allocator, const KeyTy &key) {  in construct()
59   using KeyTy = std::pair<SDBMDirectExpr, SDBMTermExpr>;  member
61   bool operator==(const KeyTy &key) const {
66   construct(StorageUniquer::StorageAllocator &allocator, const KeyTy &key) {  in construct()
81   using KeyTy = int64_t;  member
83   bool operator==(const KeyTy &key) const { return constant == key; }
86   construct(StorageUniquer::StorageAllocator &allocator, const KeyTy &key) {  in construct()
98   using KeyTy = std::pair<unsigned, unsigned>;  member
100   bool operator==(const KeyTy &key) const {
106   construct(StorageUniquer::StorageAllocator &allocator, const KeyTy &key) {  in construct()
118   using KeyTy = SDBMDirectExpr;  member
120   bool operator==(const KeyTy &key) const { return key == expr; }
123   construct(StorageUniquer::StorageAllocator &allocator, const KeyTy &key) {  in construct()