deferred class EIFFELDOC_GLOBALS
Summary
Overview
exported features
interface_info: INTERFACE_INFO
frozen
once function