speculate-0.3.5: bench/qs2/regexes.out
== Signature == Empty :: RE Symbol None :: RE Symbol Star :: RE Symbol -> RE Symbol (:+) :: RE Symbol -> RE Symbol -> RE Symbol (:.) :: RE Symbol -> RE Symbol -> RE Symbol == Laws == 1. Star Empty = Empty 2. Star None = Empty