GBody | AST.Unify.Generalize |
generalize | AST.Unify.Generalize |
generalizeConstraints | AST.Unify.Constraints, AST.Unify |
getChild | AST.Class.Has |
getCompose | AST.Combinator.Compose |
GetKnot | AST.Knot, AST |
getNominalDecl | AST.Term.Nominal |
getScope | AST.Term.Var |
GMono | AST.Unify.Generalize |
GPoly | AST.Unify.Generalize |
GTerm | AST.Unify.Generalize |