Rename `Predicate` #31

Open

Labels

opened

on May 22, 2023

I don't have an idea for it yet

Metadata

Assignees

No one assigned

Labels

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests