agda2hs-1.3: src/Agda2Hs/Compile/Function.hs-boot

module Agda2Hs.Compile.Function where

import qualified Language.Haskell.Exts.Syntax as Hs ( Match, Name )
import Agda.Syntax.Internal ( Clause, ModuleName, QName, Type )
import Agda2Hs.Compile.Types ( C )

compileClause' :: ModuleName -> Maybe QName -> Hs.Name () -> Type -> Clause -> C (Maybe (Hs.Match ()))