Agda.TypeChecking.MetaVars.Mention

class MentionsMeta t