module M

  use import module ref.Ref

  val f : x:int -> {} unit writes x.contents {}

end