The call type(expr, equation) checks to see if expr is of type equation, that is, if it is an equality. It returns true if expr is of type equation, and false otherwise.  The calling sequence type(expr, `=`) is a synonym for type(expr, equation).