substring

substring : (string nat nat -> string)

purpose:
to extract the substring starting at a 0-based index,
consisting of a given number of characters


Beginning Student with List Abbreviations Language


Google