(var)
return type(var) == FractionClass
Tests whether var is a Fraction.

    This takes into account the class being used to represent the Fraction.
Tests whether var is a Fraction.
Tests whether var is a Fraction .
def is_pysmt_fraction(var):
    """Tests whether var is a Fraction.

    This takes into account the class being used to represent the Fraction.
    """
    return type(var) == FractionClass
def is_pysmt_fraction ( var ) : return type ( var ) == FractionClass