function greet(name: string, times: number): string {
  return name.repeat(times);
}

console.log(greet("Hi ", 3));
// greet(42, "x"); // Error: 42 is not a string