// Copyright 2003, Trustees of Indiana University
// Please see the license in the file ../LICENSE

public class plus_double: BinaryFunction<double> {
  public double op(double a, double b) {
    return a+b;
  }
}

public class negate_double: UnaryFunction<double> {
  public double op(double a) {
    return -a;
  }
}

public class less_double: StrictWeakOrdering<double> {
  public bool less(double a, double b) {
    return a<b;
  }
}