| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
FreeC.Backend.Coq.Converter.TypeDecl.InductionScheme
Description
This module contains functions to generate induction schemes for user-defined data types.
Synopsis
- generateInductionScheme :: TypeDecl -> Converter [Sentence]
Documentation
generateInductionScheme :: TypeDecl -> Converter [Sentence] Source #
Generates an induction scheme for the given data type.