2023-12-14 21:54:22 +01:00
|
|
|
#ifndef OBJECTID_H
|
|
|
|
#define OBJECTID_H
|
2023-12-17 15:39:29 +01:00
|
|
|
|
2023-12-14 21:54:22 +01:00
|
|
|
/* object_id.h */
|
2023-12-17 15:39:29 +01:00
|
|
|
|
2023-12-14 21:54:22 +01:00
|
|
|
|
|
|
|
#include "core/int_types.h"
|
|
|
|
|
|
|
|
typedef uint64_t ObjectID;
|
|
|
|
|
|
|
|
#endif
|