doc/examples/overload.sail


1
2
3
4
5
6
7
8
9
10

val print_int : int -> unit

val print_string : string -> unit

overload print = {print_int, print_string}

function main() : unit -> unit = {
  print("Hello, World!");
  print(4)
}