make-string

make-string : (nat char -> string)

purpose:
to produce a string of given length
from a single given character


Intermediate Student Language


Google