chickadee » dbc » string-repeat

function (result)
requires (and (string? str) (not (negative? n)))
ensures  (string? result)