(var)
return type(var) == IntegerClass
Tests whether var is an Integer.

    This takes into account the class being used to represent the Integer.
Tests whether var is an Integer.
Tests whether var is an Integer .
def is_pysmt_integer(var):
    """Tests whether var is an Integer.

    This takes into account the class being used to represent the Integer.
    """
    return type(var) == IntegerClass
def is_pysmt_integer ( var ) : return type ( var ) == IntegerClass