type t
val v : t