.ExternalMemoryLib.ExternalMemoryInt.destructor

Interface

function destructor
  input ExternalMemoryInt extMem;
end destructor;