db/eloquent.pyi