Add a `nonempty_vector` type #1582

Open

Assignees

opened

on Jan 20, 2025

Motivated by https://reviewable.io/reviews/flexflow/flexflow-train/1521#-OGD7mCl0y6oka-VVpqz

Metadata

Assignees

victorli2002

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests