Index - J
| jAcceptableDestructTargets | Wingman.Judgements |
| jAncestryMap | Wingman.Judgements |
| jEntireHypothesis | Wingman.Judgements |
| jGoal | Wingman.Judgements |
| jHasBoundArgs | Wingman.Judgements |
| jHypothesis | Wingman.Judgements |
| jLocalHypothesis | Wingman.Judgements |
| jPatHypothesis | Wingman.Judgements |
| Judgement | |
| 1 (Type/Class) | Wingman.Types |
| 2 (Data Constructor) | Wingman.Types |
| Judgement' | Wingman.Types |
| judgementForHole | Wingman.LanguageServer |