(args)
return strings.String(None, asc_value_or_char._values).from_str(char * num)
STRING$: repeat a character num times.
STRING$: repeat a character num times.
STRING$ : repeat a character num times .
def string_(args):
    """STRING$: repeat a character num times."""
    num = to_int(next(args))
    error.range_check(0, 255, num)
    asc_value_or_char = next(args)
    if isinstance(asc_value_or_char, numbers.Integer):
        error.range_check(0, 255, asc_value_or_char.to_int())
    list(args)
    if isinstance(asc_value_or_char, strings.String):
        char = asc_value_or_char.to_str()[:1]
    else:
        # overflow if outside Integer range
        ascval = asc_value_or_char.to_integer().to_int()
        error.range_check(0, 255, ascval)
        char = int2byte(ascval)
    return strings.String(None, asc_value_or_char._values).from_str(char * num)
def string_ ( args ) : num = to_int ( next ( args ) ) error . range_check ( 0 , 255 , num ) asc_value_or_char = next ( args ) if isinstance ( asc_value_or_char , numbers . Integer ) : error . range_check ( 0 , 255 , asc_value_or_char . to_int ( ) ) list ( args ) if isinstance ( asc_value_or_char , strings . String ) : char = asc_value_or_char . to_str ( ) [ : 1 ] else : # overflow if outside Integer range ascval = asc_value_or_char . to_integer ( ) . to_int ( ) error . range_check ( 0 , 255 , ascval ) char = int2byte ( ascval ) return strings . String ( None , asc_value_or_char . _values ) . from_str ( char * num )