public void Infer(Module module) { Engine e = Engine.Create(module, false); IList <Inferred> left = e.Infer(fe.Target, anchor); if (left != null) { foreach (Inferred inf in left) { InferredClass ic = inf as InferredClass; if (ic != null) { ic.Define(fe.Name, new IndirectDefinition(rhs, anchor)); } } } }