\CLaSH\ differs from Lava, in that all of Haskell's choice elements, such as
\hs{case}-expressions and pattern matching, are synthesized to choice elements
in the eventual circuit. Consequently, descriptions containing rich control
\CLaSH\ differs from Lava, in that all of Haskell's choice elements, such as
\hs{case}-expressions and pattern matching, are synthesized to choice elements
in the eventual circuit. Consequently, descriptions containing rich control