Remove simplify in bindings

saulshanabrook · saulshanabrook · commit fc8f2756482b · 2025-07-07T14:48:18.000+01:00
diff --git a/python/egglog/bindings.pyi b/python/egglog/bindings.pyi
@@ -514,13 +514,6 @@ class RunSchedule:
     schedule: _Schedule
     def __init__(self, schedule: _Schedule) -> None: ...
 
-@final
-class Simplify:
-    span: _Span
-    expr: _Expr
-    schedule: _Schedule
-    def __init__(self, span: _Span, expr: _Expr, schedule: _Schedule) -> None: ...
-
 @final
 class Extract:
     span: _Span
