make-string
make-string : (nat char -> string)
purpose:
to produce a string of given length
from a single given character
Advanced Student Language