Constant DRT_EVENT_LEAFSET_KEY_CHANGED 

pub const DRT_EVENT_LEAFSET_KEY_CHANGED: DRT_EVENT_TYPE;