type= (type1 type2)

Returns a primary value of t if type1 and type2 are the same type, and a secondary value that is true if the type equality could be reliably determined: primary value of nil and secondary value of t indicates that the types are not equivalent.