Exported headers type