signature S = sig
    val x : _
end

structure M : S = struct
    val x = 7
end