type t val x : t