Fix new pre-commit issue

Author: saulshanabrook

python/egglog/bindings.pyi

@@ -4,6 +4,81 @@ from typing import TypeAlias
 
 from typing_extensions import final
 
+__all__ = [
+    "ActionCommand",
+    "AddRuleset",
+    "Best",
+    "BiRewriteCommand",
+    "Bool",
+    "Call",
+    "Change",
+    "Check",
+    "Constructor",
+    "Datatype",
+    "Datatypes",
+    "Delete",
+    "EGraph",
+    "EggSmolError",
+    "EgglogSpan",
+    "Eq",
+    "Expr_",
+    "Extract",
+    "Fact",
+    "Fail",
+    "Float",
+    "Function",
+    "IdentSort",
+    "Include",
+    "Input",
+    "Int",
+    "Let",
+    "Lit",
+    "NewSort",
+    "Output",
+    "Panic",
+    "PanicSpan",
+    "Pop",
+    "PrintFunction",
+    "PrintOverallStatistics",
+    "PrintSize",
+    "Push",
+    "PyObjectSort",
+    "QueryExtract",
+    "Relation",
+    "Repeat",
+    "Rewrite",
+    "RewriteCommand",
+    "Rule",
+    "RuleCommand",
+    "Run",
+    "RunConfig",
+    "RunReport",
+    "RunSchedule",
+    "RustSpan",
+    "Saturate",
+    "Schema",
+    "Sequence",
+    "SerializedEGraph",
+    "Set",
+    "SetOption",
+    "Simplify",
+    "Sort",
+    "SrcFile",
+    "String",
+    "SubVariants",
+    "Subsume",
+    "TermApp",
+    "TermDag",
+    "TermLit",
+    "TermVar",
+    "Union",
+    "Unit",
+    "UnstableCombinedRuleset",
+    "Var",
+    "Variant",
+    "Variants",
+]
+
 @final
 class SerializedEGraph:
     def inline_leaves(self) -> None: ...