deferred class EIFFELDOC_GLOBALS
Summary
Overview
exported features
set_launcher
effective procedure