# Documentation

class MentionsMeta t whereSource

mentionsMeta :: MetaId -> t -> BoolSource

MentionsMeta LevelAtom | |

MentionsMeta PlusLevel | |

MentionsMeta Level | |

MentionsMeta Sort | |

MentionsMeta Elim | |

MentionsMeta Type | |

MentionsMeta Term | |

MentionsMeta Constraint | |

MentionsMeta ProblemConstraint | |

MentionsMeta t => MentionsMeta [t] | |

MentionsMeta t => MentionsMeta (Maybe t) | |

MentionsMeta t => MentionsMeta (Arg t) | |

MentionsMeta t => MentionsMeta (Abs t) | |

MentionsMeta a => MentionsMeta (Tele a) | |

MentionsMeta a => MentionsMeta (Closure a) | |

(MentionsMeta a, MentionsMeta b) => MentionsMeta (a, b) | |

(MentionsMeta a, MentionsMeta b, MentionsMeta c) => MentionsMeta (a, b, c) |