| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Coq.Converter.TypeDeclTests
Description
This module contains tests for FreeC.Backend.Coq.Converter.TypeDecl.
Synopsis
- testConvertTypeDecl :: Spec
- testConvertDataDecls :: Spec
Documentation
testConvertTypeDecl :: Spec Source #
Test group for convertTypeSynDecl tests.
testConvertDataDecls :: Spec Source #
Test group for convertDataDecls tests.