type def.