Commit 2022-08-03 06:38 54c4c222

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