The call type(expr, laurent) returns true if expr is of type series and only contains power terms of the variable in which it was expanded.

In mathematical terminology it returns true if expr is a Laurent series with finite principal part, since type series in Maple represents series with only a finite number of negative powers and with an order-term representing the truncation of a potentially infinite number of positive power terms.