See {
See {
public virtual IIntExpr Diff(IIntExpr,IIntExpr);
See {
public virtual IIntExpr Diff(IIntExpr,int);
See {
public virtual INumExpr Diff(INumExpr,INumExpr);
See {
public virtual INumExpr Diff(INumExpr,double);
See {
public virtual INumExpr Diff(double,INumExpr);
See {
public virtual IIntExpr Diff(int,IIntExpr);