Update bench.

[why3.git] / examples / hello-world.mlw

module Test

  use string.String
  use io.StdIO

  let main = print_string ("\"Hello world!\"\n")

end