Type definition