| Q | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qb | Language.Fixpoint.Types.Solutions |
| qbExprs | Language.Fixpoint.Types.Solutions |
| qbFilter | Language.Fixpoint.Types.Solutions |
| QBind | Language.Fixpoint.Types.Solutions |
| qBody | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qbPreds | Language.Fixpoint.Types.Solutions |
| qbToGb | Language.Fixpoint.Types.Solutions |
| qCon | Language.Fixpoint.Horn.Types |
| qCstr | Language.Fixpoint.Horn.Types |
| qDis | Language.Fixpoint.Horn.Types |
| qName | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| QP | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qParams | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qPos | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qpPat | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qpSort | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qpSym | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qQuals | Language.Fixpoint.Horn.Types |
| qualBinds | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Qualifier | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qualifier | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| qualifierP | Language.Fixpoint.Parse |
| QualParam | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| QualPattern | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| quals | |
| 1 (Function) | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| 2 (Function) | Language.Fixpoint.Horn.Types |
| Query | |
| 1 (Type/Class) | Language.Fixpoint.Horn.Types |
| 2 (Data Constructor) | Language.Fixpoint.Horn.Types |
| queryFile | Language.Fixpoint.Types.Config |
| quotes | Text.PrettyPrint.HughesPJ.Compat |
| qVars | Language.Fixpoint.Horn.Types |