module Agda.TypeChecking.MetaVars where import Agda.Syntax.Internal ( MetaId, Term, Sort ) import Agda.TypeChecking.Monad.Base ( MonadTCM ) assignTerm :: MonadTCM tcm => MetaId -> Term -> tcm () assignSort :: MonadTCM tcm => MetaId -> Sort -> tcm ()