public Anonymous NewAnonymousTypeFor(IVariable symbol)
{
var asym = new Anonymous();
this.constraints[asym] = new Descendant();
this.trackedSymbols[asym] = new List <IVariable>();
if (symbol != null)
{
symbol.ChangeType(asym);
this.trackedSymbols[asym].Add(symbol);
}
return(asym);
}
public void TrackSymbol(Anonymous asym, IVariable symbol)
{
symbol.ChangeType(asym);
this.trackedSymbols[asym].Add(symbol);
}