its a type definition