(value)
return Integer(value)
Return a pysmt Integer for the given value.
Return a pysmt Integer for the given value.
Return a pysmt Integer for the given value .
def pysmt_integer_from_integer(value):
    """Return a pysmt Integer for the given value."""
    if type(value) == IntegerClass:
        # Nothing to do
        return value
    return Integer(value)
def pysmt_integer_from_integer ( value ) : if type ( value ) == IntegerClass : # Nothing to do return value return Integer ( value )