// Global type definitions