Make dummy span and filenames public

egraphs-good / egglog

egraphs + datalog!

https://egraphs-good.github.io/egglog/

MIT License

459 stars 54 forks source link

Closed saulshanabrook closed 3 months ago

saulshanabrook commented 3 months ago

For custom sorts out of core it is useful to have these defined for make_expr.

Follow up on #389