alms-0.6.0: src/Statics/Decl.hs-boot

{-# LANGUAGE
      UnicodeSyntax
    #-}
module Statics.Decl where

import qualified AST
import Statics.Constraint
import Statics.Env

tcDecl  ∷ MonadConstraint tv r m ⇒
          [ModId] → Γ tv → AST.Decl R →
          m (AST.Decl R, Γ tv, Signature tv)