module FreeC.Backend.Coq.Converter
(
convertModule
, convertDecls
, convertTypeDecls
, convertTypeComponent
, convertDataDecls
, convertDataDecl
, convertFuncDecls
, convertFuncComponent
, convertNonRecFuncDecl
, convertRecFuncDecls
, convertType
, convertType'
, convertExpr
) where
import FreeC.Backend.Coq.Converter.Expr ( convertExpr )
import FreeC.Backend.Coq.Converter.FuncDecl
( convertFuncComponent, convertFuncDecls )
import FreeC.Backend.Coq.Converter.FuncDecl.NonRec
( convertNonRecFuncDecl )
import FreeC.Backend.Coq.Converter.FuncDecl.Rec
( convertRecFuncDecls )
import FreeC.Backend.Coq.Converter.Module
( convertDecls, convertModule, convertTypeDecls )
import FreeC.Backend.Coq.Converter.Type
( convertType, convertType' )
import FreeC.Backend.Coq.Converter.TypeDecl
( convertDataDecl, convertDataDecls, convertTypeComponent )