+
Point of view
ANY
deferred class STRING_FORMATTER
Summary
Overview
exported features
put_message (message: TRAVERSABLE[E_], arguments: TRAVERSABLE[ANY])
effective procedure