// Type Denoters
// Returns the expanded version of the TypeDenoter. Does not
// use the given object.
public TypeDenoter VisitAnyTypeDenoter(AnyTypeDenoter ast, Void arg)
{
return(StandardEnvironment.AnyType);
}
public int VisitAnyTypeDenoter(AnyTypeDenoter ast, Frame frame)
{
return(0);
}
