SML# のオーバーロード

b.smi

_require "basis.smi"

structure B =
struct
  val g : int -> int
  val h : string -> string
end

val f = case 'a in 'a -> 'a of
          int => B.g
        | string => B.h

b.sml

structure B =
struct
val g = fn x => x + 1
val h = fn x => x
end

c.smi

_require "basis.smi"
_require "./b.smi"

c.sml

val () = print (f "a") (* a *)
val () = print (Int.toString (f 1)) (* 2 *)