defs): remove match from `stream.cons` (#15789)

Commit

3 years ago

chore(data/stream/defs): remove match from `stream.cons` (#15789) We can use equation compiler instead, which should give better eq lemmas.

Author

pechersky

Parents