substring

substring : (string nat nat -> string)

purpose:
to extract the substring starting at a 0-based index
up to the second 0-based index (exclusive)


Intermediate Student Language