Retrieve types with CS instances from Db #336

Open

Open

Retrieve types with CS instances from Db#336

Assignees

add a function to database.elpi to query the known types

Metadata

Assignees

ThomasPortet

Labels

No labels

No labels

Type

No type

Projects

HB instance saturation

Status
✅ Done

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests