| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Coq.Converter.FuncDecl.RecTests
Description
This module contains tests for FreeC.Backend.Coq.Converter.FuncDecl.Rec.
Synopsis
- testConvertRecFuncDecls :: Spec
Documentation
testConvertRecFuncDecls :: Spec Source #
Test group for convertRecFuncDecls
tests.