substring

substring : (string nat nat -> string)
purpose: to extract the substring starting at a 0-based index,<NL> consisting of a given number of characters