// This is the code library.

export default `
class Circle {
  greet(): string {
    return "Hello!"
  }
}
`