diff --git a/python/egglog/conversion.py b/python/egglog/conversion.py index a0adaea0..f6616302 100644 --- a/python/egglog/conversion.py +++ b/python/egglog/conversion.py @@ -16,7 +16,7 @@ from .egraph import BaseExpr -__all__ = ["convert", "convert_to_same_type", "converter", "resolve_literal", "ConvertError"] +__all__ = ["ConvertError", "convert", "convert_to_same_type", "converter", "resolve_literal"] # Mapping from (source type, target type) to and function which takes in the runtimes values of the source and return the target CONVERSIONS: dict[tuple[type | JustTypeRef, JustTypeRef], tuple[int, Callable]] = {} # Global declerations to store all convertable types so we can query if they have certain methods or not diff --git a/python/egglog/egraph.py b/python/egglog/egraph.py index adeea9d2..30587c9a 100644 --- a/python/egglog/egraph.py +++ b/python/egglog/egraph.py @@ -44,11 +44,11 @@ __all__ = [ "Action", + "BaseExpr", + "BuiltinExpr", "Command", "Command", "EGraph", - "BuiltinExpr", - "BaseExpr", "Expr", "Fact", "Fact", diff --git a/python/egglog/egraph_state.py b/python/egglog/egraph_state.py index c95c45b6..ae371d27 100644 --- a/python/egglog/egraph_state.py +++ b/python/egglog/egraph_state.py @@ -20,7 +20,7 @@ if TYPE_CHECKING: from collections.abc import Iterable -__all__ = ["EGraphState", "GLOBAL_PY_OBJECT_SORT", "span"] +__all__ = ["GLOBAL_PY_OBJECT_SORT", "EGraphState", "span"] # Create a global sort for python objects, so we can store them without an e-graph instance # Needed when serializing commands to egg commands when creating modules diff --git a/python/egglog/type_constraint_solver.py b/python/egglog/type_constraint_solver.py index e0c529e1..99dbee0e 100644 --- a/python/egglog/type_constraint_solver.py +++ b/python/egglog/type_constraint_solver.py @@ -15,7 +15,7 @@ from collections.abc import Collection, Iterable -__all__ = ["TypeConstraintSolver", "TypeConstraintError"] +__all__ = ["TypeConstraintError", "TypeConstraintSolver"] class TypeConstraintError(RuntimeError):