class interface KL_SHARED_ARGUMENTS feature(s) from KL_SHARED_ARGUMENTS -- Access Arguments: KL_ARGUMENTS -- Command-line arguments ensure arguments_not_void: Result /= Void end of KL_SHARED_ARGUMENTS