deferred class EIFFELDOC_GLOBALS
Summary
Overview
exported features