module Agda.TypeChecking.Polarity where

import Agda.Syntax.Internal
import Agda.TypeChecking.Monad.Base

computePolarity :: QName -> TCM ()