.ExternalMemoryLib.ExternalMemory_.getIntRangeAt

Interface

function getIntRangeAt
  input ExternalMemoryInt extMem;
  input Integer startIdx "0-based";
  input Integer len "length of range";
  output Integer[len] value;
end getIntRangeAt;