from .linear import eq, le, lt, ge, gt
from .linear import empty, universe
__all__ = [
from .linear import eq, le, lt, ge, gt
from .linear import empty, universe
__all__ = [
- 'constant', 'symbol', 'symbols',
+ 'Constant', 'Symbol', 'symbols',
'eq', 'le', 'lt', 'ge', 'gt',
'empty', 'universe'
]
'eq', 'le', 'lt', 'ge', 'gt',
'empty', 'universe'
]