add len on DocIndex #1452

Closed

Labels

good-first-issue

opened

on Apr 25, 2023

Context

len(db) should return db.num_docs when db is a DocIndex

Metadata

Assignees

No one assigned

Labels

good-first-issue

Type

No type

Projects

DocArray backlog

Status

Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests