// $Id: DoubleFun.java,v 1.1 1999/09/17 18:01:26 leavens Exp $

package lib;

public interface DoubleFun {
    /** a function that takes a double and returns a double. */
    double value(double x);
}