Retrieve types with CS instances from Db #336

Open

Assignees

opened

on Feb 14, 2023

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