| Copyright | (C) 2019 Myrtle Software Ltd 2021 Ellie Hermaszewska 2020-2025 QBayLogic B.V. |
|---|---|
| License | BSD2 (see the file LICENSE) |
| Maintainer | QBayLogic B.V. <devops@qbaylogic.com> |
| Safe Haskell | Safe-Inferred |
| Language | Haskell2010 |
Clash.Primitives.Verification
Description