type in spec