class TAGGED_INTERNAL_C_LOCAL
Summary
Direct parents
Inherit list: TYPED_TAGGED_DATA
Overview
writable attribute
{ANY}
set_item (a_item: INTERNAL_C_LOCAL)
effective procedure
require
  • a_item = Void xor item = Void
ensure