type in definition