type equation