Index - H
| HasChild | AST.Class.Has |
| HasFuncType | AST.Term.FuncType |
| HasInferOf1 | AST.Class.Infer.Infer1 |
| hasInferOf1 | AST.Class.Infer.Infer1 |
| HasInferredType | AST.Class.Infer.InferOf, AST.Infer |
| HasInferredValue | AST.Class.Infer.InferOf, AST.Infer |
| HasNominalInst | AST.Term.Nominal |
| HasQuantifiedVar | AST.Unify.QuantifiedVar |
| HasScheme | AST.Term.Scheme |
| hasSchemeRecursive | AST.Term.Scheme |
| HasScope | AST.Term.Var |
| HasScopeTypes | AST.Term.NamelessScope |
| HasTypeConstraints | AST.Unify.Constraints, AST.Unify |
| HasTypeOf1 | AST.Class.Infer.Infer1 |