Methods
mentionsMetas :: HashSet MetaId -> t -> Bool
Instances19MentionsMeta, …
MentionsMeta ElimDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta LevelDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta PlusLevelDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta SortDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta TermDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta TypeDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta BlockerDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta CompareAsDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta ConstraintDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta ProblemConstraintDefined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta a => MentionsMeta (Tele a)Defined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta a => MentionsMeta (Closure a)Defined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta t => MentionsMeta (Arg t)Defined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta t => MentionsMeta (Abs t)Defined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta t => MentionsMeta (Dom t)Defined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta t => MentionsMeta (Maybe t)Defined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.MentionMentionsMeta t => MentionsMeta [t]Defined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.Mention(MentionsMeta a, MentionsMeta b) => MentionsMeta (a, b)Defined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.Mention(MentionsMeta a, MentionsMeta b, MentionsMeta c) => MentionsMeta (a, b, c)Defined in Agda-2.8.0.2 · Agda.TypeChecking.MetaVars.Mention