The type(expr, specified_rootof) function returns true if expr is a specific root of an expression that uses a RootOf data structure. Otherwise, false is returned.

This function recognizes two forms of roots.

If extra arguments are included in the call to type(expr, specified_rootof), they are ignored.