public abstract void setLocationDeep(long loc);
- public abstract void forVariables(VariableProcedure procedure);
public abstract void collectFreeVariables(THashSet<Variable> vars);
public abstract void collectEffects(THashSet<Type> effects);
public abstract void checkType(TypingContext context);