adamc@55: type t
adamc@55: val x : t