from pond import Pond, PooledObjectFactory, PooledObject
With mypy, errors are:
error: Module "pond" has no attribute "Pond" [attr-defined]
error: Module "pond" has no attribute "PooledObjectFactory" [attr-defined]
error: Module "pond" has no attribute "PooledObject" [attr-defined]
from pond import Pond, PooledObjectFactory, PooledObject
With mypy, errors are: