Add builtin to the tc app - #1042

Draft

Tragicus wants to merge 7 commits into

LPCIC:masterfrom

Tragicus:mixin-tc

Commits on Jun 17, 2026

add builtin to add one class to the list of classes solved by elpi's tc solver
Tragicus
committed
5e0c4ce
rename package and fix name in src/dune
Tragicus
committed
60b1839
fix theories/dune
Tragicus
committed
b3dfd61
fix plugin name in .v files
Tragicus
committed
a1cbff7
fix dune files
Tragicus
committed
dc9956f
review
Tragicus
committed
2933a3a
review
Tragicus
committed
2e52cf4