1 2 3 4 5 6 7 8 9
signature S = sig type t val x : t end structure M : S = struct type t = _ val x = 0 end