Store a function's signature once, and expose it to primitives - #986

Open

oflatt-claude wants to merge 8 commits into

egraphs-good:mainfrom

oflatt-claude:subst-egraph-introspection

Commits on Aug 6, 2026

Commits on Aug 7, 2026

Let a primitive borrow the e-graph's signatures, instead of locking a handle

oflatt
and
claude
committed
f910d36
Share the signature a function decl carries, and say why it carries one

oflatt
and
claude
committed
f3e3a85
Store a function's signature once, everywhere

oflatt
and
claude
committed
491dc53
Review pass: tidy the diff's docs, cover the new API, fix two defects

oflatt
and
claude
committed
5fc5050