agda2hs-1.1: 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 )
import Agda2Hs.Compile.Types ( C )

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