#include <hobbes/lang/preds/hasfield/tenvlookup.H>#include <hobbes/lang/tyunqualify.H>#include <hobbes/lang/typeinf.H>#include <hobbes/util/array.H>
Include dependency graph for tenvlookup.C:
Classes | |
| struct | hobbes::HFTEnvLookupUnqualify |
Namespaces | |
| hobbes | |
Functions | |
| MonoTypePtr | hobbes::objViewToFlatView (const MonoTypePtr &obj, const Func *fty) |
| MonoTypes | hobbes::trCons (const MonoTypePtr &hty, const MonoTypes &ttys) |
| Exprs | hobbes::trCons (const ExprPtr &hexp, const Exprs &texps) |
| QualTypePtr | hobbes::underlyingFnType (const TEnvPtr &tenv, const MonoTypePtr &rty, const std::string &fieldName, const MonoTypePtr &fty, MonoTypeUnifier *s) |
| QualTypePtr | hobbes::underlyingFnType (const TEnvPtr &tenv, const ConstraintPtr &c) |
