4546474849505152535455
if (type != null) { return type; } Type tree = theEnv.lookupAbstractDataType(name); if (tree != null) { return tree; }
8687888990919293949596
if (theEnv != null) { type = theEnv.lookupAlias(name); if (type == null) { type = theEnv.lookupAbstractDataType(name); } } if (type != null) { Map<Type, Type> bindings = new HashMap<Type, Type>();