/// <param name="ex">
/// is the division expression. </param>
/// <returns> a new function. </returns>
public virtual object visit(DivExpr ex)
{
ex.left().accept(this);
ex.right().accept(this);
return(null);
}
/// <param name="ex">
/// is the division expression. </param>
/// <returns> a new function. </returns>
public virtual object visit(DivExpr ex)
{
ex.left().accept(this);
ex.right().accept(this);
return(null);
}