type t
val x : t
val y : t