(* -*- caml -*- *)
{},

(*  
module M : sig val y:int end =  struct let y=6 end
*)

cmodule M[M0] hash(hmodule M : {}
                sig
                  val y[y] : int
                end 
                version myname
              = struct
                  let y[y] = 6
                end) : {}
  sig
    val y[y] : int
  end (valuable, valuable)

  sig
    val y[y] : int
  end 

  version hash(hmodule M : {}
            sig
              val y[y] : int
            end 
            version myname
          = struct
              let y[y] = 6
            end)
= struct
    let y[y] = 6
  end