| kArgSymbol | Language.Fixpoint.Types.Names, Language.Fixpoint.Types |
| kiBIndex | Language.Fixpoint.Types.Solutions |
| kiKVar | Language.Fixpoint.Types.Solutions |
| KIndex | |
| 1 (Type/Class) | Language.Fixpoint.Types.Solutions |
| 2 (Data Constructor) | Language.Fixpoint.Types.Solutions |
| kiPos | Language.Fixpoint.Types.Solutions |
| KS | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| ksMember | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| ksuKVar | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| ksuSort | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| ksuSubst | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| ksuVV | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| ksVars | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| Kuts | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| kuts | Language.Fixpoint.Types.Constraints, Language.Fixpoint.Types |
| KV | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| kv | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| KVar | |
| 1 (Type/Class) | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| 2 (Data Constructor) | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| kvarDomain | Language.Fixpoint.Types.Utils, Language.Fixpoint.Types |
| kvars | Language.Fixpoint.Types.Visitor |
| KVComps | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| kvDef | Language.Fixpoint.Types.Solutions |
| kvEdges | Language.Fixpoint.Graph.Deps, Language.Fixpoint.Graph |
| kvgEdges | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| KVGraph | |
| 1 (Type/Class) | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| 2 (Data Constructor) | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| KVRead | Language.Fixpoint.Graph.Types, Language.Fixpoint.Graph |
| KVS | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| KVSub | Language.Fixpoint.Types.Refinements, Language.Fixpoint.Types |
| kvUse | Language.Fixpoint.Types.Solutions |