seq): improve `cons` and `tail` def-eqs (#15829)

Commit

3 years ago

feat(data/seq/seq): improve `cons` and `tail` def-eqs (#15829) We sidestep the equation compiler for better definitional equalities.

Author

vihdzp

Parents