#ifndef _WATCHOS_TYPES_h
#define _WATCHOS_TYPES_h

/// <summary>
/// A handle to any kernel object
/// </summary>
typedef uint16_t kernel_handle_t;
/// <summary>
/// A static handle for locating modules
/// </summary>
typedef uint64_t well_known_handle_t;

#endif