def Negation(expr: Expression) -> Expression:
    """Return expression which is the negation of `expr`."""
    expr = Expression(_negate(expr.body))
    return ast.fix_missing_locations(expr)
def Negation ( expr : Expression ) -> Expression : expr = Expression ( _negate ( expr . body ) ) return ast . fix_missing_locations ( expr )
Return expression which is the negation of `expr`.